IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.520
EU - Europa 3.275
AS - Asia 1.604
AF - Africa 252
SA - Sud America 101
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 6
Totale 10.772
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.384
UA - Ucraina 1.335
DE - Germania 766
SG - Singapore 716
CN - Cina 489
SE - Svezia 338
IT - Italia 287
SN - Senegal 242
TR - Turchia 171
FI - Finlandia 157
AT - Austria 143
CA - Canada 128
BR - Brasile 87
HK - Hong Kong 73
GB - Regno Unito 58
FR - Francia 50
KR - Corea 50
BE - Belgio 43
NL - Olanda 29
IN - India 25
PL - Polonia 16
AU - Australia 13
CZ - Repubblica Ceca 9
PH - Filippine 9
PK - Pakistan 8
RU - Federazione Russa 8
IR - Iran 7
JP - Giappone 7
PT - Portogallo 7
EU - Europa 6
MA - Marocco 6
MO - Macao, regione amministrativa speciale della Cina 6
AR - Argentina 5
IQ - Iraq 5
LA - Repubblica Popolare Democratica del Laos 4
MX - Messico 4
TW - Taiwan 4
BG - Bulgaria 3
CH - Svizzera 3
HU - Ungheria 3
KW - Kuwait 3
PE - Perù 3
RO - Romania 3
TH - Thailandia 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
EC - Ecuador 2
EE - Estonia 2
ES - Italia 2
ID - Indonesia 2
IE - Irlanda 2
KG - Kirghizistan 2
LK - Sri Lanka 2
LV - Lettonia 2
MY - Malesia 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
VE - Venezuela 2
ZA - Sudafrica 2
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
CO - Colombia 1
DK - Danimarca 1
EG - Egitto 1
GR - Grecia 1
GY - Guiana 1
IL - Israele 1
KE - Kenya 1
KZ - Kazakistan 1
LT - Lituania 1
MD - Moldavia 1
MK - Macedonia 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
UZ - Uzbekistan 1
VN - Vietnam 1
Totale 10.772
Salva come PNG Salva come JPEG
Città #
Chandler 845
Jacksonville 843
Dearborn 437
Boardman 434
Singapore 400
San Mateo 363
Dakar 242
Ashburn 203
New York 184
Roxbury 184
Lawrence 183
Izmir 158
Shanghai 157
Helsinki 156
Cambridge 130
Des Moines 128
Vienna 121
Ottawa 111
Ann Arbor 80
Grafing 74
Beijing 69
Inglewood 68
Wilmington 68
Hong Kong 59
Ogden 57
Brooklyn 47
Brussels 42
Falkenstein 39
Rende 36
Council Bluffs 35
Seoul 34
Bremen 33
Guangzhou 27
Florence 24
Redwood City 24
San Francisco 22
Strasbourg 21
Rogliano 20
Seattle 17
Leawood 15
Los Angeles 15
Munich 15
Toronto 15
Norwalk 13
Milan 12
Falls Church 11
Rome 11
Wuhan 11
Amsterdam 9
Catanzaro 9
Jiaxing 9
London 9
Southwark 9
Jinan 8
San Jose 8
Kunming 7
Santa Clara 7
Shenzhen 7
Bhopal 6
Bitritto 6
Brno 6
Kilburn 6
Lahore 6
Martina Franca 6
Mascalucia 6
Tokyo 6
Warsaw 6
Woodbridge 6
Yuseong-gu 6
Berlin 5
Frankfurt am Main 5
Nanjing 5
Portsmouth 5
São Paulo 5
Zhengzhou 5
Belo Horizonte 4
Benito Juarez 4
Canberra 4
Central 4
Dalseong-gun 4
Fuzhou 4
Hanover 4
Hefei 4
Innsbruck 4
Jinhua 4
Mandaluyong City 4
Melbourne 4
Monmouth Junction 4
Princeton 4
Sydney 4
Vientiane 4
Washington 4
Yiwu 4
Augusta 3
Cagayan de Oro 3
Campinas 3
City of Westminster 3
Cosenza 3
Dalian 3
Fundao 3
Totale 6.564
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 117
A modular approach to real time programming using actors and Java 110
A DEVS M&S Framework based on Java and Actors 104
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 103
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 102
A Java toolset for modelling and simulation of complex timed Petri nets 102
A Development Methodology for Embedded Systems based on RT-DEVS 100
A component-based architecture for modelling and simulation of adaptive complex systems 100
ActorServer: a Java middleware for programming distributed applications over the Internet 99
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 98
Seamless Development of Distributed Real-Time Systems using Actors 96
Exploiting Social Capabilities in the Minority Game 92
Agent-based distributed execution of Coloured Petri Nets 92
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 92
A Brokering Architecture for Video-on Demand over the Internet 91
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 91
A Measurement Laboratory over the Internet Based on Jini 90
A smartphone application for the monitoring of domestic consumption of electricity 89
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 88
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 87
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 86
An Approach to Concurrent/Parallel Programming in Java 84
Model Checking Mutual Exclusion Algorithms Using UPPAAL 82
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 82
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 80
A Service-Based Architecture for Dynamically Reconfigurable Workflows 79
A service-based enactment engine for dynamically recongurable workflows 79
Qualitative and quantitative model checking of distributed probabilistic timed actors 78
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 78
Development Issues of Distributed Measurement Systems 77
Modeling and Analysing DART Systems through Hight-Level Petri Nets 77
Home Energy Management Using Theatre With Hybrid Actors 77
Performance prediction of scalable multi-agent systems using Parallel Theatre 76
Multimedia synchronization based on Aspect Oriented Programming 75
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 75
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 75
Agent-based control framework in Jade 74
Performance Comparison of two Java-based Actor Systems 74
Hierarchical Communicating Real-Time State Machines 73
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 72
Actor-based Simulation of PDEVS Systems over HLA 72
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 72
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 71
Distributed measurement systems: an object-oriented architecture and a case study 71
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 71
Agent methodological layers in Repast Simphony 70
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 70
Statistical Model Checking of Distributed Real-Time Actor Systems 70
Aspect oriented programming using actors 69
Seamless Development in Java of Distributed Real-Time Systems using Actors 69
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 69
Lock-free Parallel Computing Using Theatre 69
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 67
Integrating the user-interface in an object oriented measurement system 67
Distributed Measurement Systems: An Object-Oriented Architecture and case study 67
Agents over the Grid: An experience using the Globus Toolkit 4 66
Agent based measurement laboratory over Internet 66
Distributed simulation of timed coloured Petri nets 66
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 66
Distributed architecture for real time: An example using distributed measurement control 66
A measurement on-demand service for access and delivery process acquisition data 65
Statistical Model Checking of Multi-Agent Systems 65
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 65
An MBone-based on-demand system for cooperative off-line learning 64
Formal Modelling and Analysis of Probabilistic Real-Time Systems 64
Development of a multimedia QoS synchronizer using AspectJ 63
RTO++: A framework for building hard real-time systems 63
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 63
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 63
An object-based architecture for real-time application 63
MADAMS: A Software Architecture for the Management of Networked Measurement Services 62
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 61
A multimedia networking based approach to the development of Distributed Virtual Instruments 61
2020 SoSyM Best Reviewer Award 61
Model checking actor-based cyber-physical systems 60
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 60
A real-time architecture based on Shlaer-Mellor object lifecycles 60
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 59
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 58
Timing as a programming-in-the large-issue 57
Modelling and simulation of complex systems using TPN Designer 57
Verification of a Smart Power Control System using Hybrid Actors 57
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 57
Computational reflection in RT systems 56
Dynamic Sociality Minority Game 56
Petri Net Tools for Modelling and Simulation of Complex Systems 56
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 55
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination 55
Distributed architecture for real-time: An extension centred on PVM 55
Multicast control of mobile measurement systems 54
An Embedded Real-time System for Climate Control in a Complex Greenhouse 54
Statistical Model Checking of GSPN Models 54
Parallel Theatre: An actor framework in Java for high performance computing 54
Java-based distributed measurement systems 53
Distributed simulation of timed Petri nets: a modular approach using actors and Time Warp 52
Schedulability analysis of real-time actor systems 52
Real-Time Systems Development Using Hierarchical State Machines 51
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 51
Super actors for real time 51
Model Checking Tasking Sets using Time Petri Nets and Uppaal 51
Totale 7.188
Salva come PNG Salva come JPEG
Categoria #
all - tutte 77.513
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 77.513
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020316 0 0 0 0 0 0 0 0 26 27 178 85
2020/20211.431 215 6 185 186 7 191 27 197 12 194 58 153
2021/20222.047 7 318 8 121 207 96 22 405 17 41 270 535
2022/20231.981 277 301 68 233 216 177 11 254 219 55 83 87
2023/20241.508 148 82 148 91 91 260 46 150 126 92 57 217
2024/20251.736 153 498 74 125 254 210 35 202 185 0 0 0
Totale 10.943