Pubblicazioni
Pubblicazioni trovate: 407
- Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Apparso su Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools, Ed. ICST, 2008 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Apparso su Scientific Annals of Computer Science, Ed. "A.I. Cuza'' University Press, 2008, Pagine: 63--98 - Alias Types and effects for "environment-aware'' computations
Ferruccio Damiani, Elena Giachino, Paola Giannini
Apparso su Fundamenta Informaticae 88 1-2, Ed. IOS Press, 2008, Pagine: 63-107 - A Type Safe State Abstraction for Coordination in Java-like Languages
Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Apparso su Acta Informatica 45, Ed. Springer, 2008, Pagine: 479-536 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Apparso su MPOOL'08, 2008 - On state classes and their dynamic semantics
Emanuele Cazzola, Ferruccio Damiani, Elena Giachino, Paola Giannini
Apparso su Software and Data Technologies (ICSOFT 2006, Revised Selected Papers) 10, Ed. Springer, 2008, Pagine: 84-96 - Case-based management of exceptions to business processes: an approach exploiting prototypes
Stefania Montani
Apparso su TR-INF-2008-12-09-UNIPMN, Ed. Computer Science Department, UPO, 2008 - BuzzChecker: Exploiting the Web to Better Understand Society
Marco Furini, S. Montangero
Apparso su TR-INF-2008-07-07-UNIPMN, Ed. Computer Science Department, UPO, 2008 - Low-Memory Adaptive Prefix Coding
Travis Gagie, Yakov Nekrich
Apparso su TR-INF-2008-07-06-UNIPMN, Ed. Computer Science Department, UPO, 2008 - Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Apparso su TR-INF-2008-07-05-UNIPMN, Ed. Computer Science Department, UPO, 2008
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 41 > »
