Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 59
Titolo Data di pubblicazione Autore(i) File
On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking 1998 M. GRIBAUDO; M. SERENO
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets 1999 A. BOBBIO; S. GARG; M. GRIBAUDO; A. HORVATH; M. SERENO; M. TELEK
GreatSPN in the new Millenium 2001 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 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 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 M. GRIBAUDO; A. HORVATH
Fluid petri nets and hybrid model-checking: A comparative case study 2003 M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Compositional modeling of complex systems: contact center scenario in OsMoSys 2004 G. FRANCESCHINIS; M. IACONO; S. MARRONE; N. MAZZOCCA; V. VITTORINI; M. GRIBAUDO
A Virtual Reality Framework For Collaborative Exercises In Emergency Medicine 2004 G. FRANCESCHINIS; F. LA MURA; M. GRIBAUDO; A. LIVIO BECCARLA; F. DELLA CORTE
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework 2005 N. MAZZOCCA; V. VITTORINI; M. GRIBAUDO; F. MOSCATO
Model checking functional and performability properties of stochastic fluid models 2005 M. GRIBAUDO; A. HORVATH
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with on-off Behavior 2006 M. GRIBAUDO; M. GARETTO
Defining formalisms and models in the Draw-Net Modeling System 2006 D. CODETTA RAITERI; G. FRANCESCHINIS; M. GRIBAUDO
Modelling Search, Availability, and Parallel Download in P2P File Sharing Applications with Fluid Model 2006 D. MANINI; M. GRIBAUDO
Performance Analysis of Delay Tolerant Networks with Model Checking Techniques 2006 M. GARETTO; M. GRIBAUDO
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator 2007 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 Marco Gribaudo
A Distributed Sensor Relocation Scheme for Environmental Control 2007 M. GARETTO; M. GRIBAUDO; C. CHIASSERINI; E. LEONARDI
Fluid Models in Performance Analysis 2007 M. GRIBAUDO; M. TELEK
Message Broadcasting in Wireless Vehicular Ad Hoc Networks 2007 C. CHIASSERINI; R. GAETA; M. GARETTO; M. GRIBAUDO; M. SERENO
Mostrati risultati da 1 a 20 di 59
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