IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 125
Titolo Data di pubblicazione Autore(i) File
Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems 1-gen-2007 Cicirelli, F.; Furfaro, Angelo; L., Nigro
Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets 1-gen-2007 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems 1-gen-2007 Cicirelli, F; Furfaro, Angelo; Nigro, L.
An Embedded Real-time System for Climate Control in a Complex Greenhouse 1-gen-2007 Candido, A; Cicirelli, F; Furfaro, Angelo; Nigro, L.
Integration and Interoperability between Jini services and Web Services 1-gen-2007 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
Timed verification of hierarchical communicating real-time state machines 1-gen-2007 Furfaro, Angelo; Nigro, Libero
Net Centric Modelling and Simulation Using ActorDEVS 1-gen-2008 Cicirelli, F; Furfaro, Angelo; Giordano, A; Nigro, Libero
Modelling and Simulation Using Statechart-Based Actors 1-gen-2008 Cicirelli, F; Furfaro, Angelo; Nigro, L.
Actor-based Simulation of PDEVS Systems over HLA 1-gen-2008 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
Embedded control systems design based on RT-DEVS and temporal analysis using Uppaal 1-gen-2008 Furfaro, Angelo; Nigro, Libero
A service-based enactment engine for dynamically recongurable workflows 1-gen-2008 Cicirelli, F; Furfaro, Angelo; Nigro, L.
Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA 1-gen-2008 F., Cicirelli; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets 1-gen-2009 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
A Development Methodology for Embedded Systems based on RT-DEVS 1-gen-2009 Furfaro, Angelo; Nigro, Libero
An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination 1-gen-2009 Cicirelli, F; Furfaro, Angelo; Nigro, Libero
Distributing Repast Simulations Using Actors 1-gen-2009 Cicirelli, F; Furfaro, Angelo; Giordano, A; Nigro, L.
Statechart-based Actors for Modelling and Distributed Simulation of Complex Multi-Agent Systems 1-gen-2009 Cicirelli, F; Furfaro, Angelo; Giordano, A; Nigro, L.
Distributed Simulation of RePast Models over HLA/Actors 1-gen-2009 Cicirelli, F; Furfaro, Angelo; Giordano, A; Nigro, L.
Model-checking Time Stream Petri Nets: An Approach and an Application to Project Management 1-gen-2010 Cicirelli, F.; Furfaro, Angelo; L., Nigro; Pupo, Francesco
Temporal Verification of RT-DEVS Models with Implementation Aspects 1-gen-2010 Cicirelli, F.; Furfaro, Angelo; Nigro, Libero; Pupo, Francesco
Mostrati risultati da 41 a 60 di 125
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile