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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.185 0 0 0 0 113 450 107 199 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.101 153 498 74 125 251 0 0 0 0 0 0 0
Totale 10.308