Publications
Publications found: 404
- Model-Based Diagnosability Analysis for Web Services
S. Bocconi, C. Picardi, X. Pucel, Daniele Theseider Dupré, L. Travé-Massuyès
Published on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007 - Analyse de la diagnosticabilité des services web
S. Bocconi, C. Picardi, X. Pucel, Daniele Theseider Dupré
Published on Workshop Artificial Intelligence and Web Intelligence (IAWI), 2007 - Assessing the Quality of Care for End Stage Renal Failure Patients by Means of Artificial Intelligence Methodologies
Riccardo Bellazzi, Cristiana Larizza, Stefania Montani, Luigi Portinale
Published on Advanced Computational Intelligence Paradigms in Healthcare (1), 2007, Pages: 89-112 - Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System
Luca Anselma, Alessio Bottrighi, Stefania Montani, Paolo Terenziani
Published on MedInfo, 2007, Pages: 935-940 - Supporting Therapy Selection in Computerized Clinical Guidelines by Means of Decision Theory
Alessio Bottrighi, Stefania Montani, Paolo Terenziani
Published on MedInfo, 2007, Pages: 855-860 - Automatic Checking of the Correctness of Clinical Guidelines in GLARE
Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani, Paolo Terenziani
Published on MedInfo, 2007, Pages: 807-811 - Methodologies synthesis
Simona Bernardi, Andrea Bobbio, Claudio Brasca, Silvano Chiaradonna, Daniele Codetta Raiteri, Felicita Di Giandomenico, Giovanna Dondossola, Giuliana Franceschinis, Fabrizio Garrone, András Horváth, Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Paolo Lollini, Jeremy Sproston
Published on CRUTIAL project, Deliverable D3, Ed. CESI Ricerca, 2007 - Analysis of new control applications
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Alessandro Daidone, Geert Deconinck, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone, Fabrizio Grandoni, Mohamed Kaâniche, Tom Rigole
Published on CRUTIAL project, Deliverable D2, Ed. CESI Ricerca, 2007 - Representing the CRUTIAL project domain by means of UML diagrams
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone
Published on Pre-proceedings of the International Workshop on Critical Information Infrastructures Security, Ed. Universidad de Malaga, 2007, Pages: 109--124 - A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2007, Pages: 165-166
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 > »
