IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.554
AS - Asia 6.813
EU - Europa 4.467
SA - Sud America 1.941
AF - Africa 466
Continente sconosciuto - Info sul continente non disponibili 189
OC - Oceania 23
Totale 23.453
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.082
SG - Singapore 2.710
BR - Brasile 1.370
UA - Ucraina 1.362
CN - Cina 1.255
VN - Vietnam 1.091
DE - Germania 859
IT - Italia 822
HK - Hong Kong 351
SE - Svezia 351
FR - Francia 275
SN - Senegal 247
BD - Bangladesh 228
TR - Turchia 215
AR - Argentina 211
CA - Canada 208
IN - India 183
FI - Finlandia 177
KR - Corea 177
AT - Austria 153
GB - Regno Unito 135
MX - Messico 93
IQ - Iraq 87
EC - Ecuador 83
CO - Colombia 71
RU - Federazione Russa 70
ID - Indonesia 68
PK - Pakistan 68
VE - Venezuela 65
ZA - Sudafrica 54
MA - Marocco 53
PL - Polonia 50
BE - Belgio 46
NL - Olanda 44
CL - Cile 41
UZ - Uzbekistan 35
PH - Filippine 34
CR - Costa Rica 33
MY - Malesia 32
PY - Paraguay 32
PE - Perù 31
JO - Giordania 27
JP - Giappone 27
HN - Honduras 26
SA - Arabia Saudita 26
NP - Nepal 23
AU - Australia 20
KE - Kenya 20
UY - Uruguay 20
GT - Guatemala 19
JM - Giamaica 19
AE - Emirati Arabi Uniti 18
ES - Italia 18
TN - Tunisia 18
DZ - Algeria 16
EG - Egitto 16
KZ - Kazakistan 16
IL - Israele 15
SV - El Salvador 15
NI - Nicaragua 14
BO - Bolivia 13
TT - Trinidad e Tobago 12
AZ - Azerbaigian 11
RO - Romania 11
CW - ???statistics.table.value.countryCode.CW??? 10
LB - Libano 10
PS - Palestinian Territory 10
PT - Portogallo 10
TH - Thailandia 10
CZ - Repubblica Ceca 9
KW - Kuwait 8
OM - Oman 8
PR - Porto Rico 8
BG - Bulgaria 7
DO - Repubblica Dominicana 7
HU - Ungheria 7
IR - Iran 7
KG - Kirghizistan 7
RS - Serbia 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
SY - Repubblica araba siriana 6
ET - Etiopia 5
LV - Lettonia 5
PA - Panama 5
QA - Qatar 5
BH - Bahrain 4
BY - Bielorussia 4
CI - Costa d'Avorio 4
GA - Gabon 4
GP - Guadalupe 4
GR - Grecia 4
KH - Cambogia 4
LA - Repubblica Popolare Democratica del Laos 4
Totale 23.204
Salva come PNG Salva come JPEG
Città #
Singapore 1.060
Ashburn 961
Chandler 845
Jacksonville 845
Council Bluffs 724
San Jose 690
Dearborn 437
Boardman 434
Ho Chi Minh City 409
San Mateo 363
Dallas 343
Hong Kong 334
Beijing 310
New York 254
Dakar 247
Hanoi 224
Milan 189
Roxbury 184
Lawrence 183
Lauterbourg 171
Shanghai 165
Helsinki 164
Izmir 159
Seoul 157
Cambridge 130
Des Moines 129
Vienna 124
Hefei 114
Ottawa 113
São Paulo 105
Santa Clara 96
Ann Arbor 80
Los Angeles 80
Grafing 74
Chicago 69
Munich 69
Brooklyn 68
Inglewood 68
Wilmington 68
Da Nang 63
Columbus 61
Ogden 57
Rome 51
Haiphong 46
Brussels 44
Rio de Janeiro 41
Guangzhou 40
The Dalles 40
Falkenstein 39
Orem 39
Rende 38
San Francisco 38
Baghdad 35
Florence 35
Bremen 33
Miano 32
Omaha 32
Phoenix 32
Tianjin 32
Warsaw 32
Guayaquil 31
Chennai 29
Tashkent 29
Curitiba 26
Frankfurt am Main 26
Toronto 26
Lahore 25
San José 25
Campinas 24
Mumbai 24
Quito 24
Redwood City 24
Belo Horizonte 23
Biên Hòa 22
Dhaka 22
Strasbourg 22
Tokyo 22
Buffalo 21
Lima 21
London 21
Porto Alegre 21
Amman 20
Rogliano 20
Bogotá 19
Johannesburg 19
Mexico City 19
Seattle 19
Brasília 18
Charlotte 18
Denver 18
Hải Dương 18
Manchester 18
Naples 17
Atlanta 16
Guarulhos 16
Medellín 16
Montevideo 16
Recife 16
Salvador 16
Santiago 16
Totale 12.942
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 227
Exploiting Social Capabilities in the Minority Game 213
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 211
A modular approach to real time programming using actors and Java 208
A Development Methodology for Embedded Systems based on RT-DEVS 198
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 193
A DEVS M&S Framework based on Java and Actors 191
A Measurement Laboratory over the Internet Based on Jini 188
ActorServer: a Java middleware for programming distributed applications over the Internet 186
A Brokering Architecture for Video-on Demand over the Internet 185
A Java toolset for modelling and simulation of complex timed Petri nets 184
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 180
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 178
A component-based architecture for modelling and simulation of adaptive complex systems 176
Seamless Development of Distributed Real-Time Systems using Actors 176
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 174
RTO++: A framework for building hard real-time systems 173
Qualitative and quantitative model checking of distributed probabilistic timed actors 172
Actor-based Simulation of PDEVS Systems over HLA 170
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 169
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 168
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 166
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 166
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 164
A Service-Based Architecture for Dynamically Reconfigurable Workflows 161
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 158
Agent-based distributed execution of Coloured Petri Nets 158
An object-based architecture for real-time application 158
Home Energy Management Using Theatre With Hybrid Actors 158
Model Checking Mutual Exclusion Algorithms Using UPPAAL 157
An Approach to Concurrent/Parallel Programming in Java 154
A smartphone application for the monitoring of domestic consumption of electricity 147
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 145
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 145
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 145
Multimedia synchronization based on Aspect Oriented Programming 144
Statistical Model Checking of Multi-Agent Systems 144
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 144
Performance Comparison of two Java-based Actor Systems 142
Formal Modelling and Analysis of Probabilistic Real-Time Systems 141
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 140
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 139
Agent-based control framework in Jade 139
Timing as a programming-in-the large-issue 137
Development Issues of Distributed Measurement Systems 137
Performance prediction of scalable multi-agent systems using Parallel Theatre 135
A measurement on-demand service for access and delivery process acquisition data 135
Hierarchical Communicating Real-Time State Machines 135
A service-based enactment engine for dynamically recongurable workflows 134
Agent methodological layers in Repast Simphony 133
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell 133
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 132
Model checking actor-based cyber-physical systems 132
Modeling and Analysing DART Systems through Hight-Level Petri Nets 132
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 131
Statistical Model Checking of Distributed Real-Time Actor Systems 131
Distributed Measurement Systems: An Object-Oriented Architecture and case study 131
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 131
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 130
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 130
Agents over the Grid: An experience using the Globus Toolkit 4 130
An MBone-based on-demand system for cooperative off-line learning 130
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 129
Aspect oriented programming using actors 129
Agent based measurement laboratory over Internet 129
HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations 128
Distributed simulation of timed coloured Petri nets 128
Petri Net Tools for Modelling and Simulation of Complex Systems 128
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 127
Development of a multimedia QoS synchronizer using AspectJ 127
Integrating the user-interface in an object oriented measurement system 126
A multimedia networking based approach to the development of Distributed Virtual Instruments 126
Computational reflection in RT systems 125
Modelling and discrete event simulation using Rainbow 124
Seamless Development in Java of Distributed Real-Time Systems using Actors 123
An Efficient Algorithm for Clustering Sets 122
Temporal verification of Communicating Real-Time State Machines using Uppaal 122
QoS Centred Java and actor-based framework For real-virtual teleconferences 122
Time-sensitive control structures in Oberon-2 122
A real-time architecture based on Shlaer-Mellor object lifecycles 122
Control Centric Framework for Model Continuity in Time-Dependent Multi-Agent Systems 122
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 121
Modelling and simulation of complex systems using TPN Designer 120
Distributed architecture for real time: An example using distributed measurement control 119
Collaborative Learning on-Demand on the Internet MBone 118
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 118
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 118
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 117
Agents+Control: A Methodology for CPSs 117
Real-time systems development using hierachical state machines 117
2020 SoSyM Best Reviewer Award 117
Timed verification of hierarchical communicating real-time state machines 117
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 116
Improving K-means by an Agglomerative Method and Density Peaks 115
Management Architecture for Distributed Measurement Services 114
Parallel Simulation of Multi-Agent Systems using Terracotta 114
Advanced backtracking in Modula-2 114
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 114
Model Checking Time-Dependent System Specifications using Time Stream Petri Nets and Uppaal 114
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 113
Totale 14.348
Salva come PNG Salva come JPEG
Categoria #
all - tutte 125.413
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 125.413
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.714 0 0 0 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.094 1.138 408 753 1.103 1.595 559 929 419 554 871 331 434
2026/20272.305 590 184 417 1.114 0 0 0 0 0 0 0 0
Totale 23.453