IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.470
AS - Asia 5.032
EU - Europa 3.589
SA - Sud America 1.531
AF - Africa 366
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 6
Totale 17.014
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.214
SG - Singapore 2.258
UA - Ucraina 1.352
BR - Brasile 1.149
CN - Cina 1.011
DE - Germania 834
VN - Vietnam 663
SE - Svezia 349
HK - Hong Kong 310
IT - Italia 308
SN - Senegal 244
TR - Turchia 186
KR - Corea 174
FI - Finlandia 170
AR - Argentina 161
AT - Austria 151
CA - Canada 150
GB - Regno Unito 99
FR - Francia 80
MX - Messico 62
EC - Ecuador 59
IN - India 53
ID - Indonesia 52
BD - Bangladesh 49
IQ - Iraq 48
RU - Federazione Russa 48
BE - Belgio 44
PL - Polonia 43
PK - Pakistan 39
ZA - Sudafrica 39
CO - Colombia 35
VE - Venezuela 33
NL - Olanda 32
MA - Marocco 29
PY - Paraguay 24
PE - Perù 21
CL - Cile 20
JP - Giappone 20
UY - Uruguay 18
UZ - Uzbekistan 18
AU - Australia 17
KE - Kenya 14
JO - Giordania 13
ES - Italia 11
PH - Filippine 10
AZ - Azerbaigian 9
CZ - Repubblica Ceca 9
EG - Egitto 9
KZ - Kazakistan 9
MY - Malesia 9
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 8
BO - Bolivia 8
NP - Nepal 8
TN - Tunisia 8
CR - Costa Rica 7
DO - Repubblica Dominicana 7
IR - Iran 7
PT - Portogallo 7
TW - Taiwan 7
DZ - Algeria 6
EU - Europa 6
HN - Honduras 6
JM - Giamaica 6
KG - Kirghizistan 6
LB - Libano 6
MO - Macao, regione amministrativa speciale della Cina 6
PS - Palestinian Territory 6
CH - Svizzera 5
GT - Guatemala 5
KW - Kuwait 5
LV - Lettonia 5
OM - Oman 5
BG - Bulgaria 4
BY - Bielorussia 4
IE - Irlanda 4
IL - Israele 4
LA - Repubblica Popolare Democratica del Laos 4
LK - Sri Lanka 4
PA - Panama 4
RO - Romania 4
AL - Albania 3
AM - Armenia 3
AO - Angola 3
BH - Bahrain 3
GY - Guiana 3
HU - Ungheria 3
LT - Lituania 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
BW - Botswana 2
CG - Congo 2
CI - Costa d'Avorio 2
DK - Danimarca 2
EE - Estonia 2
GA - Gabon 2
GE - Georgia 2
KH - Cambogia 2
MK - Macedonia 2
MT - Malta 2
Totale 16.987
Salva come PNG Salva come JPEG
Città #
Singapore 861
Chandler 845
Jacksonville 843
Dearborn 437
Boardman 434
San Mateo 363
Dallas 325
Ashburn 297
Hong Kong 296
Beijing 278
Ho Chi Minh City 265
Dakar 244
New York 204
Roxbury 184
Lawrence 183
Izmir 158
Shanghai 158
Helsinki 157
Seoul 156
Cambridge 130
Des Moines 128
Vienna 123
Hanoi 120
Hefei 114
Ottawa 111
São Paulo 86
Ann Arbor 80
Grafing 74
Inglewood 68
Munich 68
Wilmington 68
Brooklyn 63
Ogden 57
Los Angeles 47
Brussels 43
The Dalles 40
Falkenstein 39
San Francisco 37
Rende 36
Council Bluffs 35
Columbus 34
Da Nang 34
Bremen 33
Rio de Janeiro 32
Warsaw 30
Guangzhou 29
Haiphong 26
Florence 24
Redwood City 24
Santa Clara 24
Guayaquil 23
Curitiba 22
Tianjin 22
Campinas 21
Strasbourg 21
Rogliano 20
Toronto 20
Seattle 19
Tokyo 19
Belo Horizonte 18
Baghdad 17
Phoenix 17
Porto Alegre 17
Quito 17
Tashkent 17
Biên Hòa 16
Lima 16
London 16
Brasília 15
Guarulhos 15
Leawood 15
Montevideo 15
Frankfurt am Main 14
Lahore 14
Mexico City 14
Salvador 14
Boston 13
Milan 13
Norwalk 13
Rome 13
Stockholm 13
Amman 12
Bắc Ninh 12
Charlotte 12
Contagem 12
Hải Dương 12
Johannesburg 12
Recife 12
Wuhan 12
Cape Town 11
Dhaka 11
Falls Church 11
Ninh Bình 11
Phủ Lý 11
Turku 11
Amsterdam 10
Jinan 10
Moscow 10
Nairobi 10
Ribeirão Preto 10
Totale 9.276
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 175
A modular approach to real time programming using actors and Java 164
A DEVS M&S Framework based on Java and Actors 158
A Development Methodology for Embedded Systems based on RT-DEVS 157
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 150
A Java toolset for modelling and simulation of complex timed Petri nets 148
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 143
A Measurement Laboratory over the Internet Based on Jini 142
A Brokering Architecture for Video-on Demand over the Internet 140
A component-based architecture for modelling and simulation of adaptive complex systems 138
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 136
ActorServer: a Java middleware for programming distributed applications over the Internet 136
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 136
Agent-based distributed execution of Coloured Petri Nets 134
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 133
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 132
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 128
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 125
Seamless Development of Distributed Real-Time Systems using Actors 123
An Approach to Concurrent/Parallel Programming in Java 122
A Service-Based Architecture for Dynamically Reconfigurable Workflows 121
Model Checking Mutual Exclusion Algorithms Using UPPAAL 121
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 120
Home Energy Management Using Theatre With Hybrid Actors 119
A smartphone application for the monitoring of domestic consumption of electricity 117
Qualitative and quantitative model checking of distributed probabilistic timed actors 116
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 116
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 114
Agent-based control framework in Jade 114
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 113
Aspect oriented programming using actors 112
Hierarchical Communicating Real-Time State Machines 111
RTO++: A framework for building hard real-time systems 111
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 111
Performance prediction of scalable multi-agent systems using Parallel Theatre 110
Multimedia synchronization based on Aspect Oriented Programming 110
Exploiting Social Capabilities in the Minority Game 109
Actor-based Simulation of PDEVS Systems over HLA 109
A measurement on-demand service for access and delivery process acquisition data 108
An MBone-based on-demand system for cooperative off-line learning 107
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 106
Agent methodological layers in Repast Simphony 105
Timing as a programming-in-the large-issue 105
Performance Comparison of two Java-based Actor Systems 105
Distributed simulation of timed coloured Petri nets 104
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 104
Agents over the Grid: An experience using the Globus Toolkit 4 103
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 102
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 101
Modeling and Analysing DART Systems through Hight-Level Petri Nets 101
An object-based architecture for real-time application 101
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 100
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 100
Agent based measurement laboratory over Internet 100
Statistical Model Checking of Multi-Agent Systems 99
Development Issues of Distributed Measurement Systems 99
Statistical Model Checking of Distributed Real-Time Actor Systems 98
Computational reflection in RT systems 98
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 98
A service-based enactment engine for dynamically recongurable workflows 97
Integrating the user-interface in an object oriented measurement system 97
Distributed Measurement Systems: An Object-Oriented Architecture and case study 97
Formal Modelling and Analysis of Probabilistic Real-Time Systems 96
Seamless Development in Java of Distributed Real-Time Systems using Actors 95
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 94
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 93
A real-time architecture based on Shlaer-Mellor object lifecycles 93
A multimedia networking based approach to the development of Distributed Virtual Instruments 93
2020 SoSyM Best Reviewer Award 93
Petri Net Tools for Modelling and Simulation of Complex Systems 93
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 92
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 92
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 91
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 91
Model checking actor-based cyber-physical systems 91
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 91
QoS Centred Java and actor-based framework For real-virtual teleconferences 89
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 89
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 88
Distributed measurement systems: an object-oriented architecture and a case study 88
Lock-free Parallel Computing Using Theatre 88
MADAMS: A Software Architecture for the Management of Networked Measurement Services 86
Management Architecture for Distributed Measurement Services 86
Development of a multimedia QoS synchronizer using AspectJ 86
Verification of a Smart Power Control System using Hybrid Actors 86
Real-Time Systems Development Using Hierarchical State Machines 85
Temporal verification of Communicating Real-Time State Machines using Uppaal 85
Super actors for real time 85
An Efficient Algorithm for Clustering Sets 84
Schedulability analysis of real-time actor systems 84
Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets 84
Parallel Simulation of Multi-Agent Systems using Terracotta 84
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 84
Using real time constraints for modularisation 83
Real-time systems development using hierachical state machines 83
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 83
Java based distributed measurement systems 83
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 83
Modelling and simulation of complex systems using TPN Designer 82
Multicast control of mobile measurement systems 81
Totale 10.646
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.014
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 105.014
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021832 0 0 0 0 0 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/20252.847 153 498 74 125 254 210 35 202 367 90 282 557
2025/20265.131 1.138 408 753 1.103 1.595 134 0 0 0 0 0 0
Totale 17.185