IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.310
AS - Asia 6.798
EU - Europa 4.194
SA - Sud America 1.934
AF - Africa 464
Continente sconosciuto - Info sul continente non disponibili 179
OC - Oceania 23
Totale 21.902
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.955
SG - Singapore 2.710
BR - Brasile 1.365
UA - Ucraina 1.361
CN - Cina 1.252
VN - Vietnam 1.091
DE - Germania 858
IT - Italia 570
SE - Svezia 351
HK - Hong Kong 349
FR - Francia 275
SN - Senegal 247
BD - Bangladesh 227
TR - Turchia 214
AR - Argentina 211
IN - India 183
FI - Finlandia 177
KR - Corea 177
CA - Canada 174
AT - Austria 153
GB - Regno Unito 129
MX - Messico 93
IQ - Iraq 87
EC - Ecuador 83
CO - Colombia 69
ID - Indonesia 68
PK - Pakistan 68
RU - Federazione Russa 65
VE - Venezuela 65
ZA - Sudafrica 54
MA - Marocco 53
PL - Polonia 49
BE - Belgio 45
NL - Olanda 43
CL - Cile 41
UZ - Uzbekistan 35
PH - Filippine 34
MY - Malesia 32
PY - Paraguay 32
PE - Perù 31
JO - Giordania 27
SA - Arabia Saudita 26
JP - Giappone 25
NP - Nepal 23
AU - Australia 20
KE - Kenya 20
UY - Uruguay 20
AE - Emirati Arabi Uniti 18
CR - Costa Rica 18
ES - Italia 18
TN - Tunisia 18
DZ - Algeria 16
EG - Egitto 16
KZ - Kazakistan 16
JM - Giamaica 15
BO - Bolivia 13
AZ - Azerbaigian 11
HN - Honduras 10
LB - Libano 10
PS - Palestinian Territory 10
PT - Portogallo 10
TH - Thailandia 10
CZ - Repubblica Ceca 9
GT - Guatemala 9
IL - Israele 9
NI - Nicaragua 9
KW - Kuwait 8
OM - Oman 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
RO - Romania 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
GR - Grecia 4
KH - Cambogia 4
LA - Repubblica Popolare Democratica del Laos 4
MN - Mongolia 4
TT - Trinidad e Tobago 4
AM - Armenia 3
BW - Botswana 3
GE - Georgia 3
Totale 21.666
Salva come PNG Salva come JPEG
Città #
Singapore 1.060
Chandler 845
Jacksonville 843
San Jose 586
Ashburn 517
Council Bluffs 488
Dearborn 437
Boardman 434
Ho Chi Minh City 409
San Mateo 363
Dallas 339
Hong Kong 333
Beijing 309
Dakar 247
New York 232
Hanoi 224
Roxbury 184
Lawrence 183
Lauterbourg 171
Shanghai 165
Helsinki 164
Izmir 159
Seoul 157
Cambridge 130
Des Moines 129
Vienna 124
Hefei 114
Ottawa 112
São Paulo 102
Santa Clara 89
Milan 84
Ann Arbor 80
Los Angeles 77
Grafing 74
Munich 69
Inglewood 68
Wilmington 68
Brooklyn 66
Da Nang 63
Columbus 60
Ogden 57
Haiphong 46
Rome 44
Brussels 43
Rio de Janeiro 41
Guangzhou 40
The Dalles 40
Falkenstein 39
Orem 39
San Francisco 38
Rende 36
Baghdad 35
Bremen 33
Omaha 32
Tianjin 32
Warsaw 32
Guayaquil 31
Florence 30
Chennai 29
Tashkent 29
Curitiba 26
Frankfurt am Main 26
Phoenix 26
Lahore 25
Campinas 24
Mumbai 24
Quito 24
Redwood City 24
Belo Horizonte 23
Toronto 23
Biên Hòa 22
Dhaka 22
Strasbourg 22
Lima 21
Amman 20
London 20
Porto Alegre 20
Rogliano 20
Tokyo 20
Johannesburg 19
Mexico City 19
Seattle 19
Bogotá 18
Brasília 18
Buffalo 18
Hải Dương 18
Manchester 18
Charlotte 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
Totale 11.885
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 210
Exploiting Social Capabilities in the Minority Game 206
A modular approach to real time programming using actors and Java 197
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 195
A Development Methodology for Embedded Systems based on RT-DEVS 188
A DEVS M&S Framework based on Java and Actors 182
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 182
A Java toolset for modelling and simulation of complex timed Petri nets 177
A Measurement Laboratory over the Internet Based on Jini 176
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 170
A Brokering Architecture for Video-on Demand over the Internet 169
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 169
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 167
A component-based architecture for modelling and simulation of adaptive complex systems 167
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 165
ActorServer: a Java middleware for programming distributed applications over the Internet 165
Actor-based Simulation of PDEVS Systems over HLA 163
Qualitative and quantitative model checking of distributed probabilistic timed actors 161
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 160
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 158
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 156
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 154
A Service-Based Architecture for Dynamically Reconfigurable Workflows 153
Seamless Development of Distributed Real-Time Systems using Actors 153
Agent-based distributed execution of Coloured Petri Nets 151
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 150
Model Checking Mutual Exclusion Algorithms Using UPPAAL 150
Home Energy Management Using Theatre With Hybrid Actors 149
An Approach to Concurrent/Parallel Programming in Java 147
A smartphone application for the monitoring of domestic consumption of electricity 140
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 139
Multimedia synchronization based on Aspect Oriented Programming 138
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 138
An object-based architecture for real-time application 138
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 137
Performance Comparison of two Java-based Actor Systems 137
Statistical Model Checking of Multi-Agent Systems 136
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 136
RTO++: A framework for building hard real-time systems 134
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 132
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 132
Formal Modelling and Analysis of Probabilistic Real-Time Systems 132
Hierarchical Communicating Real-Time State Machines 131
Agent-based control framework in Jade 131
Performance prediction of scalable multi-agent systems using Parallel Theatre 129
Timing as a programming-in-the large-issue 129
Agent methodological layers in Repast Simphony 127
A measurement on-demand service for access and delivery process acquisition data 127
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 126
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell 126
An MBone-based on-demand system for cooperative off-line learning 126
Model checking actor-based cyber-physical systems 125
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 125
Agents over the Grid: An experience using the Globus Toolkit 4 124
Aspect oriented programming using actors 123
Distributed simulation of timed coloured Petri nets 123
Statistical Model Checking of Distributed Real-Time Actor Systems 123
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 122
Agent based measurement laboratory over Internet 122
Distributed Measurement Systems: An Object-Oriented Architecture and case study 122
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 121
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 121
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 121
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 119
HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations 119
Integrating the user-interface in an object oriented measurement system 119
Modelling and discrete event simulation using Rainbow 118
Computational reflection in RT systems 118
QoS Centred Java and actor-based framework For real-virtual teleconferences 117
Seamless Development in Java of Distributed Real-Time Systems using Actors 116
Control Centric Framework for Model Continuity in Time-Dependent Multi-Agent Systems 116
Temporal verification of Communicating Real-Time State Machines using Uppaal 115
A multimedia networking based approach to the development of Distributed Virtual Instruments 115
Development Issues of Distributed Measurement Systems 115
Modeling and Analysing DART Systems through Hight-Level Petri Nets 115
An Efficient Algorithm for Clustering Sets 114
A real-time architecture based on Shlaer-Mellor object lifecycles 114
Modelling and simulation of complex systems using TPN Designer 114
Collaborative Learning on-Demand on the Internet MBone 113
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 113
A service-based enactment engine for dynamically recongurable workflows 112
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 111
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 110
Agents+Control: A Methodology for CPSs 110
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 110
Real-time systems development using hierachical state machines 110
Management Architecture for Distributed Measurement Services 109
Timed verification of hierarchical communicating real-time state machines 109
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 109
Parallel Simulation of Multi-Agent Systems using Terracotta 108
Development of a multimedia QoS synchronizer using AspectJ 108
2020 SoSyM Best Reviewer Award 108
Model Checking Time-Dependent System Specifications using Time Stream Petri Nets and Uppaal 107
Petri Net Tools for Modelling and Simulation of Complex Systems 107
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 106
Net Centric Modelling and Simulation Using ActorDEVS 105
Java based distributed measurement systems 105
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 105
Lock-free Parallel Computing Using Theatre 105
An Embedded Real-time System for Climate Control in a Complex Greenhouse 104
Totale 13.411
Salva come PNG Salva come JPEG
Categoria #
all - tutte 119.863
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 119.863
Salva come PNG Salva come JPEG


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