RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 222
Titolo Data di pubblicazione Autori File
GSPN Semantics for Queueing Networks with Blocking 1-gen-1997 GRIBAUDO, MARCO +
On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking 1-gen-1998 GRIBAUDO, MARCO +
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets 1-gen-1999 GRIBAUDO, MARCO +
Fluid Stochastic Petri Nets: An Extended Formalism to Include non-Markovian Models 1-gen-1999 GRIBAUDO, MARCO +
Simulation of Fluid Stochastic Petri Nets 1-gen-2000 GRIBAUDO, MARCO +
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis 1-gen-2001 GRIBAUDO, MARCO +
Performance Analysis of Data Services over GPRS 1-gen-2001 GRIBAUDO, MARCO +
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses 1-gen-2001 GRIBAUDO, MARCO +
DrawNET++: Model objects to support performance analysis and simulation of systems 1-gen-2002 GRIBAUDO, MARCO +
DrawNet++: A flexible framework for building dependability models 1-gen-2002 GRIBAUDO, MARCO +
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 1-gen-2002 GRIBAUDO, MARCO +
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 1-gen-2002 GRIBAUDO, MARCO +
On the Use of Petri Nets for the Computation of Completion Time Distributon for Short TCP Transfers 1-gen-2003 GRIBAUDO, MARCO +
Fluid petri nets and hybrid model-checking: A comparative case study 1-gen-2003 GRIBAUDO, MARCO +
Compositional modeling of complex systems: contact center scenario in OsMoSys 1-gen-2004 GRIBAUDO, MARCO +
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets 1-gen-2004 GRIBAUDO, MARCO +
A Low Cost Virtual Reality Framework For Collaborative Exercises In Emergency Medicine 1-gen-2004 GRIBAUDO, MARCO +
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems 1-gen-2004 GRIBAUDO, MARCO +
Fluid Stochastic Petri Nets for computing transfer time distributions in peer-to-peer file sharing applications 1-gen-2005 GRIBAUDO, MARCO +
Model checking functional and performability properties of stochastic fluid models 1-gen-2005 GRIBAUDO, MARCO +
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks 1-gen-2005 GRIBAUDO, MARCO +
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework 1-gen-2005 GRIBAUDO, MARCO +
Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems 1-gen-2005 GRIBAUDO, MARCO +
A Spatial Fluid-Based Framework to Analyze Large-Scale Wireless Sensor Networks 1-gen-2005 GRIBAUDO, MARCO +
Defining formalisms and models in the Draw-Net Modeling System 1-gen-2006 GRIBAUDO, MARCO +
Fixed Point Approximations for TCP Behavior in Networks of Routers 1-gen-2006 GRIBAUDO, MARCO +
Modelling a car safety controller in road tunnels using hybrid Petri nets 1-gen-2006 GRIBAUDO, MARCO +
Efficient Broadcasting of Safety Messages in Multihop Vehicular Networks 1-gen-2006 GRIBAUDO, MARCO +
Performance Analysis of Delay Tolerant Networks with Model Checking Techniques 1-gen-2006 GRIBAUDO, MARCO +
Modelling Search, Availability, and Parallel Download in P2P File Sharing Applications with Fluid Model 1-gen-2006 GRIBAUDO, MARCO +
Efficient steady-state analysis of Second-Order Fluid Stochastic Petri Nets 1-gen-2006 GRIBAUDO, MARCO +
Analysis of Resource Transfers in Peer-to-Peer File Sharing Applications using Fluid Models 1-gen-2006 GRIBAUDO, MARCO +
Message Broadcasting in Wireless Vehicular Ad Hoc Networks 1-gen-2007 GRIBAUDO, MARCO +
Fluid Models for Large-Scale Wireless Sensor Networks 1-gen-2007 GRIBAUDO, MARCO +
A Distributed Sensor Relocation Scheme for Environmental Control 1-gen-2007 GRIBAUDO, MARCO +
Performability Analysis of a Sensor Network by Interacting Markovian Agents 1-gen-2007 GRIBAUDO, MARCO +
Stochastic models and methods for the safety and dependability analysis of DES 1-gen-2007 GRIBAUDO, MARCO +
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with on-off Behavior 1-gen-2007 GRIBAUDO, MARCO +
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator 1-gen-2007 GRIBAUDO, MARCO +
Fluid Models in Performance Analysis 1-gen-2007 GRIBAUDO, MARCO +
Stationary analysis of fluid level dependent bounded fluid models 1-gen-2008 GRIBAUDO, MARCO +
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks 1-gen-2008 GRIBAUDO, MARCO +
Analysis of On-Off policies in Sensor Networks using Interacting Markovian Agents 1-gen-2008 GRIBAUDO, MARCOCEROTTI, DAVIDE +
Second Order Fluid Models with General Boundary Behaviour 1-gen-2008 GRIBAUDO, MARCO +
Compositional Fluid Stochastic Petri Net model for operational software system performance 1-gen-2008 GRIBAUDO, MARCO +
Sensor Deployment and Relocation: A Unified Scheme 1-gen-2008 GRIBAUDO, MARCO +
Analysis of large scale interacting systems by mean field method 1-gen-2008 GRIBAUDO, MARCO +
Teaching the Aesthetic of Lighting in Cinema 1-gen-2008 PIAZZOLLA, PIETROGRIBAUDO, MARCO
Survivability study of a Water Cleaning Facility using Fluid Stochastic Petri Nets 1-gen-2009 GRIBAUDO, MARCO +
Analytical modeling of swarm intelligence in wireless sensor networks through markovian agents 1-gen-2009 CEROTTI, DAVIDEGRIBAUDO, MARCO +
Mostrati risultati da 1 a 50 di 222
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