Sfoglia per Autore
On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking
1998-01-01 M. GRIBAUDO; M. SERENO
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets
1999-01-01 A. BOBBIO; S. GARG; M. GRIBAUDO; A. HORVATH; M. SERENO; M. TELEK
GreatSPN in the new Millenium
2001-01-01 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses
2001-01-01 M. AJMONE MARSAN; M. GRIBAUDO; M. MEO; M. SERENO
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
2002-01-01 M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique
2002-01-01 M. GRIBAUDO; A. HORVATH
Fluid petri nets and hybrid model-checking: A comparative case study
2003-01-01 M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Compositional modeling of complex systems: contact center scenario in OsMoSys
2004-01-01 G. FRANCESCHINIS; M. IACONO; S. MARRONE; N. MAZZOCCA; V. VITTORINI; M. GRIBAUDO
A Virtual Reality Framework For Collaborative Exercises In Emergency Medicine
2004-01-01 G. FRANCESCHINIS; F. LA MURA; M. GRIBAUDO; A. LIVIO BECCARLA; F. DELLA CORTE
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework
2005-01-01 N. MAZZOCCA; V. VITTORINI; M. GRIBAUDO; F. MOSCATO
Model checking functional and performability properties of stochastic fluid models
2005-01-01 M. GRIBAUDO; A. HORVATH
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with on-off Behavior
2006-01-01 M. GRIBAUDO; M. GARETTO
Defining formalisms and models in the Draw-Net Modeling System
2006-01-01 D. CODETTA RAITERI; G. FRANCESCHINIS; M. GRIBAUDO
Modelling Search, Availability, and Parallel Download in P2P File Sharing Applications with Fluid Model
2006-01-01 D. MANINI; M. GRIBAUDO
Performance Analysis of Delay Tolerant Networks with Model Checking Techniques
2006-01-01 M. GARETTO; M. GRIBAUDO
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator
2007-01-01 F. LA MURA; F. DELLA CORTE; M. GRIBAUDO; B. TOSI; S. ALCIATI; R. BORDINO; G. FRANCESCHINIS
International Workshop on Ambient Intelligence, Media, and Sensing (AIMS), April 20th, 2007, Istanbul, Turkey
2007-01-01 Marco Gribaudo
A Distributed Sensor Relocation Scheme for Environmental Control
2007-01-01 M. GARETTO; M. GRIBAUDO; C. CHIASSERINI; E. LEONARDI
Fluid Models in Performance Analysis
2007-01-01 M. GRIBAUDO; M. TELEK
Message Broadcasting in Wireless Vehicular Ad Hoc Networks
2007-01-01 C. CHIASSERINI; R. GAETA; M. GARETTO; M. GRIBAUDO; M. SERENO
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