IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.772
AS - Asia 6.673
EU - Europa 4.057
SA - Sud America 1.918
AF - Africa 463
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 8
Totale 20.914
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.448
SG - Singapore 2.707
UA - Ucraina 1.361
BR - Brasile 1.356
CN - Cina 1.213
VN - Vietnam 1.085
DE - Germania 857
IT - Italia 446
SE - Svezia 351
HK - Hong Kong 346
FR - Francia 272
SN - Senegal 247
AR - Argentina 211
TR - Turchia 209
BD - Bangladesh 178
FI - Finlandia 177
IN - India 177
KR - Corea 177
CA - Canada 163
AT - Austria 153
GB - Regno Unito 126
MX - Messico 88
IQ - Iraq 87
EC - Ecuador 81
PK - Pakistan 68
CO - Colombia 67
ID - Indonesia 67
RU - Federazione Russa 65
VE - Venezuela 63
ZA - Sudafrica 54
MA - Marocco 53
PL - Polonia 48
BE - Belgio 44
NL - Olanda 42
CL - Cile 41
UZ - Uzbekistan 35
PH - Filippine 33
PE - Perù 31
PY - Paraguay 31
MY - Malesia 27
JO - Giordania 26
SA - Arabia Saudita 26
JP - Giappone 25
NP - Nepal 23
AU - Australia 20
KE - Kenya 20
UY - Uruguay 20
ES - Italia 18
TN - Tunisia 18
AE - Emirati Arabi Uniti 16
DZ - Algeria 16
EG - Egitto 16
KZ - Kazakistan 16
BO - Bolivia 13
CR - Costa Rica 12
JM - Giamaica 12
AZ - Azerbaigian 11
HN - Honduras 10
LB - Libano 10
PS - Palestinian Territory 10
CZ - Repubblica Ceca 9
PT - Portogallo 9
IL - Israele 8
KW - Kuwait 8
NI - Nicaragua 8
OM - Oman 8
TH - Thailandia 8
BG - Bulgaria 7
DO - Repubblica Dominicana 7
GT - Guatemala 7
HU - Ungheria 7
IR - Iran 7
KG - Kirghizistan 7
TW - Taiwan 7
AL - Albania 6
AO - Angola 6
CH - Svizzera 6
EU - Europa 6
IE - Irlanda 6
LK - Sri Lanka 6
MO - Macao, regione amministrativa speciale della Cina 6
RO - Romania 6
RS - Serbia 6
SY - Repubblica araba siriana 6
ET - Etiopia 5
LV - Lettonia 5
PA - Panama 5
BH - Bahrain 4
BY - Bielorussia 4
CI - Costa d'Avorio 4
GA - Gabon 4
KH - Cambogia 4
LA - Repubblica Popolare Democratica del Laos 4
MN - Mongolia 4
QA - Qatar 4
AM - Armenia 3
BW - Botswana 3
GE - Georgia 3
GR - Grecia 3
GY - Guiana 3
Totale 20.852
Salva come PNG Salva come JPEG
Città #
Singapore 1.057
Chandler 845
Jacksonville 843
San Jose 584
Ashburn 473
Dearborn 437
Boardman 434
Ho Chi Minh City 407
San Mateo 363
Dallas 333
Hong Kong 330
Beijing 300
Dakar 247
Council Bluffs 236
New York 226
Hanoi 222
Roxbury 184
Lawrence 183
Lauterbourg 171
Helsinki 164
Shanghai 164
Izmir 159
Seoul 157
Cambridge 130
Des Moines 129
Vienna 124
Hefei 114
Ottawa 112
São Paulo 100
Ann Arbor 80
Grafing 74
Munich 69
Inglewood 68
Los Angeles 68
Wilmington 68
Brooklyn 64
Da Nang 63
Columbus 60
Ogden 57
Haiphong 46
Santa Clara 46
Brussels 43
Guangzhou 40
The Dalles 40
Falkenstein 39
Orem 39
Rio de Janeiro 39
San Francisco 38
Rende 36
Baghdad 35
Milan 34
Bremen 33
Tianjin 32
Warsaw 32
Guayaquil 30
Chennai 29
Tashkent 29
Florence 28
Rome 28
Curitiba 26
Frankfurt am Main 25
Lahore 25
Campinas 24
Redwood City 24
Belo Horizonte 23
Quito 23
Biên Hòa 22
Strasbourg 22
Toronto 22
Lima 21
Amman 20
Phoenix 20
Porto Alegre 20
Rogliano 20
Tokyo 20
Dhaka 19
Johannesburg 19
Mexico City 19
Seattle 19
Bogotá 18
Brasília 18
Hải Dương 18
Mumbai 18
London 17
Manchester 17
Buffalo 16
Guarulhos 16
Medellín 16
Montevideo 16
Recife 16
Salvador 16
Santiago 16
Amsterdam 15
Caracas 15
Casablanca 15
Leawood 15
Nairobi 15
New Delhi 15
Ninh Bình 15
Contagem 14
Totale 11.385
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 205
A modular approach to real time programming using actors and Java 194
A Development Methodology for Embedded Systems based on RT-DEVS 184
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 184
A DEVS M&S Framework based on Java and Actors 180
A Java toolset for modelling and simulation of complex timed Petri nets 175
A Measurement Laboratory over the Internet Based on Jini 174
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 168
A Brokering Architecture for Video-on Demand over the Internet 166
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 166
A component-based architecture for modelling and simulation of adaptive complex systems 165
ActorServer: a Java middleware for programming distributed applications over the Internet 162
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 162
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 161
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 158
Actor-based Simulation of PDEVS Systems over HLA 155
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 155
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 154
Qualitative and quantitative model checking of distributed probabilistic timed actors 154
A Service-Based Architecture for Dynamically Reconfigurable Workflows 150
Exploiting Social Capabilities in the Minority Game 149
Agent-based distributed execution of Coloured Petri Nets 149
Model Checking Mutual Exclusion Algorithms Using UPPAAL 149
Seamless Development of Distributed Real-Time Systems using Actors 149
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 149
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 148
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 147
An Approach to Concurrent/Parallel Programming in Java 144
Home Energy Management Using Theatre With Hybrid Actors 142
A smartphone application for the monitoring of domestic consumption of electricity 138
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 135
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 135
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 133
Performance Comparison of two Java-based Actor Systems 132
Multimedia synchronization based on Aspect Oriented Programming 131
RTO++: A framework for building hard real-time systems 131
Statistical Model Checking of Multi-Agent Systems 130
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 130
Agent-based control framework in Jade 130
An object-based architecture for real-time application 129
Hierarchical Communicating Real-Time State Machines 127
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 127
Timing as a programming-in-the large-issue 127
Performance prediction of scalable multi-agent systems using Parallel Theatre 126
Agent methodological layers in Repast Simphony 126
A measurement on-demand service for access and delivery process acquisition data 126
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 126
Formal Modelling and Analysis of Probabilistic Real-Time Systems 126
An MBone-based on-demand system for cooperative off-line learning 124
Statistical Model Checking of Distributed Real-Time Actor Systems 122
Model checking actor-based cyber-physical systems 121
Distributed simulation of timed coloured Petri nets 121
Aspect oriented programming using actors 120
Agent based measurement laboratory over Internet 120
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 120
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 119
Distributed Measurement Systems: An Object-Oriented Architecture and case study 119
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 118
Agents over the Grid: An experience using the Globus Toolkit 4 118
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 117
Integrating the user-interface in an object oriented measurement system 117
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 115
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell 115
Computational reflection in RT systems 115
Seamless Development in Java of Distributed Real-Time Systems using Actors 115
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 114
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 114
Development Issues of Distributed Measurement Systems 114
A multimedia networking based approach to the development of Distributed Virtual Instruments 113
Modeling and Analysing DART Systems through Hight-Level Petri Nets 113
An Efficient Algorithm for Clustering Sets 112
Collaborative Learning on-Demand on the Internet MBone 112
A real-time architecture based on Shlaer-Mellor object lifecycles 112
QoS Centred Java and actor-based framework For real-virtual teleconferences 111
A service-based enactment engine for dynamically recongurable workflows 110
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 110
Agents+Control: A Methodology for CPSs 109
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 108
Temporal verification of Communicating Real-Time State Machines using Uppaal 107
Modelling and discrete event simulation using Rainbow 107
Real-time systems development using hierachical state machines 107
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 107
Development of a multimedia QoS synchronizer using AspectJ 106
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 106
2020 SoSyM Best Reviewer Award 106
Modelling and simulation of complex systems using TPN Designer 106
HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations 105
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 105
Petri Net Tools for Modelling and Simulation of Complex Systems 105
Control Centric Framework for Model Continuity in Time-Dependent Multi-Agent Systems 104
Management Architecture for Distributed Measurement Services 103
Parallel Simulation of Multi-Agent Systems using Terracotta 103
Distributed measurement systems: an object-oriented architecture and a case study 103
Java based distributed measurement systems 102
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 102
Distributed architecture for real time: An example using distributed measurement control 102
Verification of a Smart Power Control System using Hybrid Actors 102
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation 102
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination 101
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 101
Totale 12.923
Salva come PNG Salva come JPEG
Categoria #
all - tutte 116.002
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 116.002
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021153 0 0 0 0 0 0 0 0 0 0 0 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/20269.031 1.138 408 753 1.103 1.595 559 929 419 554 871 331 371
Totale 21.085