Pubblicazioni
Pubblicazioni trovate: 405
- Modeling clinical guidelines through Petri Nets
Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Paolo Terenziani
Apparso su roc. European Conference on Artificial Intelligence in Medicine (AIME) 651, Ed. Springer, 2009, Pagine: 61--70 - Multiple abstraction levels in performance analysis of WSN monitoring systems
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Apparso su Proceedings of the International Workshop on Performance Methodologies and Tools for Wireless Sensor Networks, Ed. ICST, 2009 - Generalizing Continuous Time Bayesian Networks with Immediate Nodes
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proceedings of the Workshop on Graph Structures for Knowledge Representation and Reasoning, 2009, Pagine: 12-17 - Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Apparso su Proceedings of the International Conference on Dependable Systems and Networks, Ed. IEEE Computer Society, 2009, Pagine: 399-408 - Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Apparso su Proceedings of the Workshop on Dependable Control of Discrete Systems, Ed. IFAC, 2009, Pagine: 239-244 - The Essence of Static and Dynamic Bindings
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su ICTCS'09, 2009 - A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su MeCBIC'09 11, 2009, Pagine: 91--106 - Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Apparso su CSL'09 5771, Ed. Springer, 2009, Pagine: 209--224 - Featherweight Agent Language: a core calculus for agents and artifacts
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Apparso su ICSOFT'09 (http://www.icsoft.org), Ed. INSTICC press, 2009 - A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su DCM'09 9, 2009, Pagine: 38--48
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 > »