IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.270
AS - Asia 6.510
EU - Europa 3.966
SA - Sud America 1.918
AF - Africa 463
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 8
Totale 20.158
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.969
SG - Singapore 2.684
UA - Ucraina 1.361
BR - Brasile 1.356
CN - Cina 1.162
VN - Vietnam 1.078
DE - Germania 855
IT - Italia 359
SE - Svezia 351
HK - Hong Kong 344
FR - Francia 271
SN - Senegal 247
AR - Argentina 211
TR - Turchia 209
FI - Finlandia 177
IN - India 177
KR - Corea 177
CA - Canada 154
AT - Austria 153
GB - Regno Unito 125
BD - Bangladesh 113
IQ - Iraq 87
MX - Messico 87
EC - Ecuador 81
PK - Pakistan 68
CO - Colombia 67
ID - Indonesia 65
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
JO - Giordania 26
SA - Arabia Saudita 26
MY - Malesia 23
JP - Giappone 22
AU - Australia 20
KE - Kenya 20
NP - Nepal 20
UY - Uruguay 20
ES - Italia 18
TN - Tunisia 18
DZ - Algeria 16
EG - Egitto 16
KZ - Kazakistan 16
AE - Emirati Arabi Uniti 14
BO - Bolivia 13
AZ - Azerbaigian 11
CR - Costa Rica 10
LB - Libano 10
PS - Palestinian Territory 10
CZ - Repubblica Ceca 9
PT - Portogallo 9
HN - Honduras 8
IL - Israele 8
JM - Giamaica 8
KW - Kuwait 8
OM - Oman 8
TH - Thailandia 8
BG - Bulgaria 7
DO - Repubblica Dominicana 7
HU - Ungheria 7
IR - Iran 7
KG - Kirghizistan 7
NI - Nicaragua 7
TW - Taiwan 7
AL - Albania 6
AO - Angola 6
CH - Svizzera 6
EU - Europa 6
GT - Guatemala 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
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
KH - Cambogia 3
Totale 20.099
Salva come PNG Salva come JPEG
Città #
Singapore 1.054
Chandler 845
Jacksonville 843
San Jose 517
Ashburn 450
Dearborn 437
Boardman 434
Ho Chi Minh City 403
San Mateo 363
Hong Kong 328
Dallas 327
Beijing 295
Dakar 247
Hanoi 220
New York 210
Roxbury 184
Lawrence 183
Lauterbourg 171
Helsinki 164
Shanghai 164
Izmir 159
Seoul 157
Cambridge 130
Des Moines 128
Vienna 124
Hefei 114
Ottawa 111
São Paulo 100
Ann Arbor 80
Grafing 74
Munich 69
Inglewood 68
Wilmington 68
Brooklyn 63
Da Nang 62
Los Angeles 59
Ogden 57
Haiphong 46
Brussels 43
The Dalles 40
Falkenstein 39
Guangzhou 39
Orem 39
Rio de Janeiro 39
San Francisco 38
Rende 36
Baghdad 35
Council Bluffs 35
Columbus 34
Bremen 33
Tianjin 32
Warsaw 32
Guayaquil 30
Chennai 29
Tashkent 29
Santa Clara 27
Curitiba 26
Florence 25
Lahore 25
Milan 25
Campinas 24
Redwood City 24
Belo Horizonte 23
Frankfurt am Main 23
Quito 23
Biên Hòa 22
Strasbourg 22
Lima 21
Amman 20
Porto Alegre 20
Rogliano 20
Tokyo 20
Toronto 20
Dhaka 19
Johannesburg 19
Seattle 19
Bogotá 18
Brasília 18
Hải Dương 18
Mexico City 18
Mumbai 18
Phoenix 18
London 17
Rome 17
Guarulhos 16
Manchester 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
Ribeirão Preto 14
Totale 10.964
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 197
A modular approach to real time programming using actors and Java 188
A Development Methodology for Embedded Systems based on RT-DEVS 183
A DEVS M&S Framework based on Java and Actors 180
A Java toolset for modelling and simulation of complex timed Petri nets 169
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 168
A Measurement Laboratory over the Internet Based on Jini 168
A Brokering Architecture for Video-on Demand over the Internet 165
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets 165
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 164
A component-based architecture for modelling and simulation of adaptive complex systems 162
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 162
ActorServer: a Java middleware for programming distributed applications over the Internet 160
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 158
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 158
Qualitative and quantitative model checking of distributed probabilistic timed actors 152
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 150
A Service-Based Architecture for Dynamically Reconfigurable Workflows 147
Seamless Development of Distributed Real-Time Systems using Actors 147
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 146
Agent-based distributed execution of Coloured Petri Nets 146
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 145
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 145
Model Checking Mutual Exclusion Algorithms Using UPPAAL 143
An Approach to Concurrent/Parallel Programming in Java 142
Home Energy Management Using Theatre With Hybrid Actors 142
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 141
A smartphone application for the monitoring of domestic consumption of electricity 134
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 131
Agent-based control framework in Jade 130
Actor-based Simulation of PDEVS Systems over HLA 128
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 128
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 128
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 127
Hierarchical Communicating Real-Time State Machines 126
RTO++: A framework for building hard real-time systems 126
Performance prediction of scalable multi-agent systems using Parallel Theatre 125
Multimedia synchronization based on Aspect Oriented Programming 125
An object-based architecture for real-time application 125
Exploiting Social Capabilities in the Minority Game 124
Performance Comparison of two Java-based Actor Systems 124
An MBone-based on-demand system for cooperative off-line learning 122
Timing as a programming-in-the large-issue 122
Formal Modelling and Analysis of Probabilistic Real-Time Systems 122
Agent methodological layers in Repast Simphony 121
A measurement on-demand service for access and delivery process acquisition data 121
Statistical Model Checking of Multi-Agent Systems 121
Aspect oriented programming using actors 120
Statistical Model Checking of Distributed Real-Time Actor Systems 120
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 119
Model checking actor-based cyber-physical systems 118
Distributed simulation of timed coloured Petri nets 118
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 118
Agents over the Grid: An experience using the Globus Toolkit 4 117
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 115
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 115
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 114
Agent based measurement laboratory over Internet 114
Development Issues of Distributed Measurement Systems 114
PERFORMANCE OF A K-MEANS ALGORITHM DRIVEN BY CAREFUL SEEDING 113
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 113
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 113
Integrating the user-interface in an object oriented measurement system 112
Seamless Development in Java of Distributed Real-Time Systems using Actors 112
Modeling and Analysing DART Systems through Hight-Level Petri Nets 112
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 111
Distributed Measurement Systems: An Object-Oriented Architecture and case study 111
A service-based enactment engine for dynamically recongurable workflows 110
QoS Centred Java and actor-based framework For real-virtual teleconferences 108
Computational reflection in RT systems 108
A real-time architecture based on Shlaer-Mellor object lifecycles 108
A multimedia networking based approach to the development of Distributed Virtual Instruments 108
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 107
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 107
2020 SoSyM Best Reviewer Award 106
An Efficient Algorithm for Clustering Sets 105
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 105
Temporal verification of Communicating Real-Time State Machines using Uppaal 105
Petri Net Tools for Modelling and Simulation of Complex Systems 105
Development of a multimedia QoS synchronizer using AspectJ 103
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 103
Verification of a Smart Power Control System using Hybrid Actors 102
Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell 101
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 101
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 101
Management Architecture for Distributed Measurement Services 100
Distributed measurement systems: an object-oriented architecture and a case study 100
Timed verification of hierarchical communicating real-time state machines 100
Modelling and simulation of complex systems using TPN Designer 100
Parallel Simulation of Multi-Agent Systems using Terracotta 99
Modelling and discrete event simulation using Rainbow 99
Real-time systems development using hierachical state machines 99
Java based distributed measurement systems 99
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 99
Distributed architecture for real time: An example using distributed measurement control 99
Lock-free Parallel Computing Using Theatre 99
MADAMS: A Software Architecture for the Management of Networked Measurement Services 98
Real-Time Systems Development Using Hierarchical State Machines 98
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 98
Analyzing Stochastic Reward Nets by Model Checking and Parallel Simulation 98
Totale 12.480
Salva come PNG Salva come JPEG
Categoria #
all - tutte 111.058
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 111.058
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021405 0 0 0 0 0 0 0 0 0 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/20268.275 1.138 408 753 1.103 1.595 559 929 419 554 817 0 0
Totale 20.329