Publications
Publications found: 404
- A dynamic Bayesian network based framework to evaluate cascading effects in a power grid
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on Engineering Applications of Artificial Intelligence vol. 25(4), Ed. Elsevier, 2012, Pages: 683-697 - Exploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems
Marco Guazzone, Cosimo Anglano, Massimo Canonico
Published on TR-INF-2012-04-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts
Daniele Codetta Raiteri, Stefano Di Nolfo, Andrea Guiotto, Luigi Portinale
Published on Acta Futura vol. 5(15), Ed. ESA, 2012, Pages: 99-110 - Trace retrieval and clustering for business process monitoring
Stefania Montani, Giorgio Leonardi
Published on TR-INF-2012-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Typed Stochastic Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on Theoretical Computer Science, 2012 - A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on 7th Workshop on Developments in Computational Models (DCM'11), 2012 - Computing first passage time distributions in stochastic well-formed nets
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Published on ICPE, 2011, Pages: 7-18 - Lumping partially symmetrical stochastic models
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Published on Perform. Eval. Vol. 68 n. 1, 2011, Pages: 21-44 - Probe Automata for Passage Time Specification
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Published on QEST, 2011, Pages: 101-110 - First Passage Time Computation in Tagged GSPNs with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Published on Comput. J. Vol. 54 n. 5, 2011, Pages: 653-673
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 > »
