Sfoglia per Autore
Design and Implementation of a Web-Search Engine based on Computation Tree Logic
2004-01-01 DI SCIASCIO, Eugenio; Donini, F. M.; Mongiello, Marina; Piscitelli, G.
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
2004-01-01 Colucci, S.; Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace
2004-01-01 Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; F. M., Donini; Mongiello, Marina
A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents
2004-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
EbXML verification using model checking
2004-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.; Piscitelli, G.
Retrieval by spatial similarity: an algorithm and a comparative evaluation
2004-01-01 Di Sciascio, E.; Mongiello, M.; Donini, F. M.; Allegretti, L.
Waver: a model checking-based tool to verify web application design
2005-01-01 Ruta, Michele; R., Totaro; D., Castelluccia; Mongiello, Marina
Model Checking-based Method for Verifying Web Application Design
2005-01-01 Francesco M., Donini; Mongiello, Marina; Ruta, Michele; Rodolfo, Totaro
Design verification of web applications using symbolic model checking
2005-01-01 DI SCIASCIO, Eugenio; FRANCESCO M., Donini; Mongiello, Marina; Rodolfo, Totaro; Daniela, Castelluccia
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment
2005-01-01 Mongiello, Marina; Totaro, Rodolfo
Performance of batching schemes for multimedia-on-demand services
2005-01-01 Boggia, G.; Camarda, P.; Mazzeo, L.; Mongiello, M.
Finite-state verification of ebXML protocol
2005-01-01 Mongiello, Marina
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace
2005-01-01 Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; Donini, F. M.; Mongiello, Marina
Description Logic-Based Resource Retrieval
2005-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Modelling and verification of BPEL business processes
2006-01-01 Mongiello, Marina; Castelluccia, Daniela
A Model Checking-based Method for Verifying Web Application Design
2006-01-01 Donini, F. M.; Mongiello, Marina; Ruta, Michele; Totaro, R.
WAVer: A Model Checking-based Tool to Verify Web Application Design
2006-01-01 Castelluccia, Daniela; Mongiello, Marina; Ruta, Michele; Totaro, Rodolfo
Finite-state verification of the ebXML protocol
2006-01-01 Mongiello, Marina
Description Logic-Based Resource Retrieval
2010-01-01 Colucci, S.; Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Mining the user profile from a smartphone: a multimodal agent framework
2013-01-01 Loseto, Giuseppe; Ruta, Michele; Scioscia, Floriano; Di Sciascio, Eugenio; Mongiello, Marina
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile