Sfoglia per Autore
Fragmented monitoring
2017 Cornejo Olivares, O; Briola, D; Micucci, D; Mariani, L
Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data
2017 Briola, D; Mascardi, V
In the field monitoring of interactive application
2017 Cornejo Olivares, O; Briola, D; Micucci, D; Mariani, L
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols
2016 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
Agents and ontologies for a smart management of heterogeneous data: The IndianaMas system
2016 Briola, D
Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems
2015 Ancona, D; Briola, D; Mascardi, V
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
2015 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
Computational thinking for beginners: A successful experience using prolog
2015 Beux, S; Briola, D; Corradi, A; Delzanno, G; Ferrando, A; Frassetto, F; Guerrini, G; Mascardi, V; Oreggia, M; Pozzi, F; Solimando, A; Tacchella, A
Distributed runtime verification of JADE multiagent systems
2015 Briola, D; Mascardi, V; Ancona, D
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain
2015 Leotta, M; Beux, S; Mascardi, V; Briola, D
Global protocols as first class entities for self-adaptive agents
2015 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
A Detailed Description of the EC2M Project: Exploiting Ontologies for the Automatic and Manual Documents Classification in Industrial Enterprise Content Management Systems
2014 Briola, D; Amicone, A
Exploiting prolog for projecting agent interaction protocols
2014 Ancona, D; Briola, D; El Fallah Seghrouchni, A; Mascardi, V; Taillibert, P
Distributed runtime verification of JADE and Jason Multiagent systems with prolog
2014 Briola, D; Mascardi, V; Ancona, D
A holonic multi-agent system for sketch, image and text interpretation in the rock art domain
2014 Mascardi, V; Briola, D; Locoro, A; Grignani, D; Deufemia, V; Paolino, L; Bianchi, N; de Lumley, H; Malafronte, D; Ricciarelli, A
Efficient verification of MASs with projections
2014 Ancona, D; Briola, D; Seghrouchni, A; Mascardi, V; Taillibert, P
Ontology-driven processing and management of digital rock art objects in IndianaMAS
2014 Briola, D; Deufemia, V; Mascardi, V; Paolino, L; Bianchi, N
Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples
2013 Briola, D; Caccia, R; Bozzano, M; Locoro, A
Ontologies in Industrial Enterprise Content Management Systems: the EC2M Project
2013 Briola, D; Amicone, A; Laudisa, D
MUSE: MUltilinguality and SEmantics for the citizens of the world
2013 Bozzano, M; Briola, D; Leone, D; Locoro, A; Marasso, L; Mascardi, V
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