Pubblicazioni
Pubblicazioni trovate: 393
- Achieving Self-Healing in Autonomic Software Systems: a Case-Based Reasoning Approach
Cosimo Anglano, Stefania Montani
Apparso su SOAS, 2005, Pagine: 267-281
- Case Based Representation and Retrieval with Time Dependent Features
Stefania Montani, Luigi Portinale
Apparso su ICCBR, 2005, Pagine: 353-367
- Periodicity-Based Temporal Constraints
Luca Anselma, Stefania Montani, Paolo Terenziani
Apparso su AI*IA, 2005, Pagine: 62-65
- Extended Fault Trees Analysis supported by Stochastic Petri Nets
Daniele Codetta Raiteri
Apparso su Ph.D. thesis, Ed. Univ. di Torino, 2005
- The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
Daniele Codetta Raiteri
Apparso su Electronic Notes on Theoretical Computer Science, vol. 127(2), Ed. Elsevier, 2005, Pagine: 45-60
- System Level Dependability Analysis
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su System-level Test and Validation of Hardware/Software Systems, Ed. Springer, 2005, Pagine: 151-174
- Modelling Dynamic Reliability via Fluid Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the International Conference on Reliability and Safety Engineering, Ed. Indian Institute of Technology Kharagpur, 2005, Pagine: 43-56
- Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the International Workshop on Performability Modeling of Computer and Communication Systems, Ed. Univ. di Torino e Univ. del Piemonte Orientale, 2005, Pagine: 52-55
- Efficient Analysis Algorithms for Parametric Fault Trees.
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Ed. IEEE Computer Society, 2005, Pagine: 91-105
- Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Apparso su Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2005, Pagine: 257-258
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 > »
