Publications
Publications found: 383
- Stochastic modeling, analysis techniques and tools for dependable reactive systems
Simona Bernardi, Andrea Bobbio, Marco Gribaudo
Published on TR-INF-2002-10-05-UNIPMN, Ed. Computer Science Department, UPO, 2002
- Interactive MPEG video streaming over IP-networks: a performance report
Marco Furini, Marco Roccetti
Published on TR-INF-2002-09-04-UNIPMN, Ed. Computer Science Department, UPO, 2002
- From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant
Andrea Bobbio, Marco Gribaudo, András Horváth
Published on TR-INF-2002-02-02-UNIPMN, Ed. Computer Science Department, UPO, 2002
- Design and Analysis of a Mechanism for supporting Interactive Video Streaming Applications over the Internet
Marco Furini, Marco Roccetti
Published on TR-INF-2002-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2002
- A fuzzy approach to case-based reasoning through fuzzy extension of SQL
Riccardo Bellazzi, Stefania Montani, Luigi Portinale
Published on TR-INF-2002-07-03-UNIPMN, Ed. Computer Science Department, UPO, 2002
- M4-The Mining Mart MetaModel
Marco Botta, Klaus Dittrich, Jö-Uwe Kietz, Katharina Morik, Luigi Portinale, Anca Vaduva, Regina Zücker
Published on Deliverable D8/9, EU Funded Project MINIG MART, 2001
- M4 -- The MiningMart Meta Model
Marco Botta, Klaus Dittrich, Katharina Morik
Published on Deliverable D8/9, EU Funded Project MINIG MART, 2001
- On the use of partial symmetries for lumping Markov chains
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Published on SIGMETRICS Performance Evaluation Review Vol. 28 n. 4, 2001, Pages: 33-35
- An effective translation of Fickle into Java (extended abstract)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Published on ICTCS'01, Ed. Springer, 2001, Pages: 215-234
- Fickle: Dynamic object re-classification
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Paola Giannini
Published on {ECOOP'01}, Ed. Springer, 2001, Pages: 130-149
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 > »
