Sfoglia per Autore
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents
2011-01-01 Cerotti, Davide; Barbierato, Enrico; Gribaudo, Marco
Adaptive swarm intelligence routing algorithms for WSN in a changing environment
2010-01-01 Bruneo, Dario; Scarpa, Marco; Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents
2009-01-01 Bruneo, Dario; Scarpa, Marco; Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco
List of requirements on formalisms and selection of appropriate tools
2008-01-01 Donatelli, S; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Franceschinis, Giuliana Annamaria; Gribaudo, Marco; Kaâniche, M; Lollini, P; Romani, F; Sproston, J.
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models
2006-01-01 Gribaudo, Marco; CODETTA RAITERI, Daniele; Franceschinis, Giuliana Annamaria
Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO co-generative plant
2002-01-01 Gribaudo, Marco; A., Horvath; Bobbio, Andrea; E., Tronci; E., Ciancamerla; M., Minichino
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents | 1-gen-2011 | Cerotti, Davide; Barbierato, Enrico; Gribaudo, Marco | |
Adaptive swarm intelligence routing algorithms for WSN in a changing environment | 1-gen-2010 | Bruneo, Dario; Scarpa, Marco; Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco | |
Analytical modeling of swarm intelligence in wireless sensor networks through Markovian agents | 1-gen-2009 | Bruneo, Dario; Scarpa, Marco; Bobbio, Andrea; Cerotti, Davide; Gribaudo, Marco | |
List of requirements on formalisms and selection of appropriate tools | 1-gen-2008 | Donatelli, S; Chiaradonna, S; CODETTA RAITERI, Daniele; DI GIANDOMENICO, F; Franceschinis, Giuliana Annamaria; Gribaudo, Marco; Kaâniche, M; Lollini, P; Romani, F; Sproston, J. | |
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models | 1-gen-2006 | Gribaudo, Marco; CODETTA RAITERI, Daniele; Franceschinis, Giuliana Annamaria | |
Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO co-generative plant | 1-gen-2002 | Gribaudo, Marco; A., Horvath; Bobbio, Andrea; E., Tronci; E., Ciancamerla; M., Minichino |
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