SPALAZZI, Luca

SPALAZZI, Luca  

Dipartimento Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 146 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' 1-gen-2000 M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca
`eLearning for Complex System Professionals: Material Knowledge Representation, Retrieval, and Building 1-gen-2009 T., Leo; F., Pagliarecci; Spalazzi, Luca
A Business Process Design Framework for B2B Collaboration 1-gen-2011 Boaro, Lorenzo; Glorio, Emanuele; Pagliarecci, Francesco; Spalazzi, Luca
A Case-Based Approach to Information Integration 1-gen-2000 Panti, Maurizio; Spalazzi, Luca; Giretti, Alberto
A Distributed Case-Based Query Rewriting 1-gen-2001 M., Panti; Spalazzi, Luca; L., Penserini
A Dynamic Logic for Acting, Sensing, and Planning 1-gen-2000 Spalazzi, Luca; Traverso, P.
A FIPA Compliant Agent Platform for Federated Information Systems 1-gen-2000 Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
A functional approach to cyber risk assessment 1-gen-2021 Rafaiani, Giulia; Battaglioni, Massimo; Baldi, Marco; Chiaraluce, Franco; Libertini, Giovanni; Spalazzi, Luca; Cancellieri, Giovanni
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease 1-gen-2020 Pepa, Lucia; Capecci, Marianna; Andrenelli, Elisa; Ciabattoni, Lucio; Spalazzi, Luca; Ceravolo, Maria Gabriella
A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan 1-gen-2008 F., Pagliarecci; L., Penserini; Spalazzi, Luca
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture 1-gen-2022 Antoniello, Antonia; Sabatelli, Antonio; Valenti, Simone; Di Tillo, Maria; Pepa, Lucia; Spalazzi, Luca; Andrenelli, Elisa; Capecci, Marianna; Ceravolo, Maria Gabriella
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 M., Pistore; Spalazzi, Luca; P., Traverso
A minimalist approach to semantic annotations for web processes compositions (extended abstract) 1-gen-2006 Pistore, Marco; Spalazzi, Luca; Traverso, Paolo
A modular environment for software development and re-engineering 1-gen-2012 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management 1-gen-2004 L., Penserini; M., Panti; Spalazzi, Luca
A Planner in Architectural Design 1-gen-1991 Lemma, Massimo; Spalazzi, Luca
A planning language for embedded systems 1-gen-1999 Spalazzi, Luca
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 1-gen-2023 Spegni, F.; Sabatelli, A.; Merlo, A.; Pepa, L.; Spalazzi, L.; Verderame, L.
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco