IRIS
NIGRO, Libero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.493
EU - Europa 3.140
AS - Asia 372
AF - Africa 241
OC - Oceania 14
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 6
Totale 8.273
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.372
UA - Ucraina 1.334
DE - Germania 703
SE - Svezia 335
AT - Austria 256
SN - Senegal 241
IT - Italia 235
TR - Turchia 163
CN - Cina 132
CA - Canada 120
BE - Belgio 71
FI - Finlandia 60
FR - Francia 48
GB - Regno Unito 27
NL - Olanda 23
IN - India 22
PL - Polonia 16
AU - Australia 13
HK - Hong Kong 10
KR - Corea 8
CZ - Repubblica Ceca 7
IR - Iran 7
EU - Europa 6
PT - Portogallo 6
JP - Giappone 5
PH - Filippine 4
RU - Federazione Russa 4
TW - Taiwan 4
AR - Argentina 3
BG - Bulgaria 3
KW - Kuwait 3
PE - Perù 3
RO - Romania 3
SG - Singapore 3
ID - Indonesia 2
MY - Malesia 2
PS - Palestinian Territory 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
AL - Albania 1
BR - Brasile 1
CH - Svizzera 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
IL - Israele 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MD - Moldavia 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
SA - Arabia Saudita 1
Totale 8.273
Salva come PNG Salva come JPEG
Città #
Chandler 845
Jacksonville 843
Dearborn 437
San Mateo 363
Dakar 241
Vienna 215
Roxbury 184
Lawrence 183
Izmir 158
Cambridge 130
Des Moines 128
Ottawa 109
Ann Arbor 80
Grafing 74
Brussels 70
Inglewood 68
Wilmington 68
Helsinki 60
Beijing 57
Brooklyn 47
Ashburn 37
Bremen 33
Rende 32
Florence 24
Redwood City 24
San Francisco 22
Strasbourg 21
Rogliano 20
Leawood 15
Norwalk 13
Falls Church 11
Boardman 10
Hanover 10
Toronto 10
Milan 9
Kunming 7
Bhopal 6
Bitritto 6
Brno 6
Martina Franca 6
Mascalucia 6
Rome 6
San Jose 6
Warsaw 6
Woodbridge 6
Catanzaro 5
Jinan 5
Nanjing 5
Zhengzhou 5
Amsterdam 4
Canberra 4
Central 4
Dalseong-gun 4
Guangzhou 4
Hefei 4
London 4
Mandaluyong City 4
Melbourne 4
Monmouth Junction 4
Princeton 4
Sydney 4
Tokyo 4
Augusta 3
Fundao 3
Fuzhou 3
Gunzenhausen 3
Houston 3
Leno 3
Lima 3
Mountain View 3
Mumbai 3
Nanchang 3
New Delhi 3
Nice 3
Ningbo 3
Paola 3
Redmond 3
Sabz 3
San Giuliano Terme 3
Torun 3
Wuhan 3
Ardabil 2
Arezzo 2
Bangkok 2
Bari 2
Berlin 2
Bisignano 2
Chuncheon 2
Corigliano Calabro 2
Cosenza 2
Crotone 2
Druzstevna pri Hornade 2
El Paso 2
Falkenstein 2
Frankfurt am Main 2
Fremont 2
Gangbuk-gu 2
Hebei 2
Indianapolis 2
Istanbul 2
Totale 4.879
Salva come PNG Salva come JPEG
Nome #
A Case Study Using Modular Time Petri Nets and Distributed Simulation 101
A modular approach to real time programming using actors and Java 96
A Java Middleware for the Development of Actor-based Multimedia Systems over Internet MBone 88
A smartphone application for the monitoring of domestic consumption of electricity 88
Actors and Coloured Petri Nets in the development life cycle of distributed real time Systems 86
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 84
A component-based architecture for modelling and simulation of adaptive complex systems 81
Seamless Development of Distributed Real-Time Systems using Actors 80
ActorServer: a Java middleware for programming distributed applications over the Internet 79
A service-based enactment engine for dynamically recongurable workflows 78
A Brokering Architecture for Video-on Demand over the Internet 75
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 73
Agent-based distributed execution of Coloured Petri Nets 72
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers 71
Model Checking Mutual Exclusion Algorithms Using UPPAAL 69
A Java toolset for modelling and simulation of complex timed Petri nets 68
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 68
Modeling and Analysing DART Systems through Hight-Level Petri Nets 68
Multimedia synchronization based on Aspect Oriented Programming 67
A Development Methodology for Embedded Systems based on RT-DEVS 67
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 67
Actor-based Simulation of PDEVS Systems over HLA 65
A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks 64
Hierarchical Communicating Real-Time State Machines 63
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC 63
Qualitative and quantitative model checking of distributed probabilistic timed actors 63
Home Energy Management Using Theatre With Hybrid Actors 62
A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet 61
An Approach to Concurrent/Parallel Programming in Java 61
A Service-Based Architecture for Dynamically Reconfigurable Workflows 60
Performance Comparison of two Java-based Actor Systems 60
Development Issues of Distributed Measurement Systems 60
A DEVS M&S Framework based on Java and Actors 59
A Measurement Laboratory over the Internet Based on Jini 59
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre 59
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 57
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 56
Agent-Based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design 56
Development of a schedulability analysis framework based on pTPN and Uppaal with stopwatches 56
Distributed simulation of timed coloured Petri nets 55
Statistical Model Checking of Distributed Real-Time Actor Systems 55
Distributed measurement systems: an object-oriented architecture and a case study 55
Performance prediction of scalable multi-agent systems using Parallel Theatre 54
Seamless Development in Java of Distributed Real-Time Systems using Actors 54
Agent-based control framework in Jade 54
Exploiting Social Capabilities in the Minority Game 53
Aspect oriented programming using actors 53
Agent methodological layers in Repast Simphony 53
Agent based measurement laboratory over Internet 53
ViCRO: an interactive and cooperative videorecording on-demand system over Internet MBobe 52
MADAMS: A Software Architecture for the Management of Networked Measurement Services 52
A measurement on-demand service for access and delivery process acquisition data 52
Statistical Model Checking of Multi-Agent Systems 52
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre 52
Development of a multimedia QoS synchronizer using AspectJ 51
Actors and virtual time: An experience using Time Warp, Timed Petri Nets and Cellular Networks 51
Distributed architecture for real time: An example using distributed measurement control 51
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre 51
A Methodology centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems 50
Integrating the user-interface in an object oriented measurement system 50
Distributed Measurement Systems: An Object-Oriented Architecture and case study 50
Formal Modelling and Analysis of Probabilistic Real-Time Systems 50
Lock-free Parallel Computing Using Theatre 50
Agents over the Grid: An experience using the Globus Toolkit 4 49
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines 48
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 47
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre 46
Verification of a Smart Power Control System using Hybrid Actors 46
Java-based distributed measurement systems 45
An MBone-based on-demand system for cooperative off-line learning 45
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination 45
Timing as a programming-in-the large-issue 45
Dynamic Sociality Minority Game 45
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment 45
Distributed architecture for real-time: An extension centred on PVM 45
Efficient environment management for distributed simulation of large-scale situated multi-agent systems 44
Distributed simulation of timed Petri nets: a modular approach using actors and Time Warp 44
Model checking actor-based cyber-physical systems 44
Computational reflection in RT systems 44
Statistical Model Checking of GSPN Models 44
Real-Time Systems Development Using Hierarchical State Machines 43
Super actors for real time 43
RTO++: A framework for building hard real-time systems 43
2020 SoSyM Best Reviewer Award 43
Modelling and simulation of complex systems using TPN Designer 43
An object-based architecture for real-time application 43
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking 42
Multicast control of mobile measurement systems 42
An Embedded Real-time System for Climate Control in a Complex Greenhouse 42
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 42
Petri Net Tools for Modelling and Simulation of Complex Systems 42
Development of Virtual Data Acquisition Systems based on Multimedia Internetworking 41
Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel 41
Object-based real-time programming 41
Schedulability analysis of real-time actor systems 40
A multimedia networking based approach to the development of Distributed Virtual Instruments 40
Java based distributed measurement systems 40
Parallel Simulation of Multi-Agent Systems using Terracotta 39
Toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines 39
Distributed architecture for real time in Oberon-2 39
Totale 5.562
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.290
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 43.290
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019198 0 0 0 0 0 0 0 5 9 23 160 1
2019/20201.755 184 163 36 187 113 450 107 199 26 27 178 85
2020/20211.431 215 6 185 186 7 191 27 197 12 194 58 153
2021/20222.047 7 318 8 121 207 96 22 405 17 41 270 535
2022/20232.109 277 301 68 233 216 177 48 270 232 66 110 111
2023/2024617 157 86 153 99 116 6 0 0 0 0 0 0
Totale 8.444