Publications
Publications found: 404
- Multiple abstraction levels in performance analysis of WSN monitoring systems
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Published on 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
Published on Proceedings of the Workshop on Graph Structures for Knowledge Representation and Reasoning, 2009, Pages: 12-17 - Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Dependable Systems and Networks, Ed. IEEE Computer Society, 2009, Pages: 399-408 - Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on Proceedings of the Workshop on Dependable Control of Discrete Systems, Ed. IFAC, 2009, Pages: 239-244 - The Essence of Static and Dynamic Bindings
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published on ICTCS'09, 2009 - A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on MeCBIC'09 11, 2009, Pages: 91--106 - Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Published on CSL'09 5771, Ed. Springer, 2009, Pages: 209--224 - Featherweight Agent Language: a core calculus for agents and artifacts
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Published on 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
Published on DCM'09 9, 2009, Pages: 38--48 - Permuted Longest-Common-Prefix Array
J. Karkkainen, Giovanni Manzini, S. Puglisi
Published on Proc. 20th Symposium on Combinatorial Pattern Matching (CPM), Ed. Springer-Verlag, LNCS n. 5577, 2009, Pages: 181-192
Pages: « < 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 > »
