Pubblicazioni
Pubblicazioni trovate: 388
- Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines
Luca Anselma, Alessio Bottrighi, Stefania Montani, Paolo Terenziani
Apparso su Artificial Intelligence in Medicine 38 2, 2006, Pagine: 171-195
- Case-based retrieval to support the treatment of end stage renal failure patients
Riccardo Bellazzi, Giorgio Leonardi, Stefania Montani, Luigi Portinale
Apparso su Artificial Intelligence in Medicine 37 1, 2006, Pagine: 31-42
- Case-Based Reasoning for Autonomous Service Failure Diagnosis and Remediation in Software Systems
Cosimo Anglano, Stefania Montani
Apparso su ECCBR, 2006, Pagine: 489-503
- Stochastic Petri Nets Supporting Dynamic Reliability Evaluation
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su International Journal of Materials & Structural Reliability vol. 4(1), Ed. IMMS, 2006, Pagine: 65-77
- Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Apparso su Proceedings of the International Conference on Availability, Reliability and Security, Ed. IEEE Computer Society, 2006, Pagine: 804-809
- Defining formalisms and models in the Draw-Net Modelling System
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Apparso su Proceeding of the International Workshop on Modelling of Objects, Components and Agents, Ed. Universitat Hamburg, 2006, Pagine: 123-144
- BDD based analysis of Parametric Fault Tress
Daniele Codetta Raiteri
Apparso su Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2006, Pagine: 442-449
- A tool for automatically translating Dynamic Fault Trees into Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale, Marco Varesio
Apparso su Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2006, Pagine: 434-441
- A State Abstraction for Coordination in Java-like Languages
Nick Cameron, Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Apparso su Electronic proceedings of FTfJP'06 (http://www.cs.ru.nl/ftfjp/), 2006
- Safe Ambients: Abstract Machine and Distributed Implementation
Paola Giannini, Davide Sangiorgi, Andrea Valente
Apparso su Science of Computer Programming 59, 2006, Pagine: 209 - 249
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 > »
