Sfoglia per Autore
Efficient verification of MASs with projections
2014-01-01 Ancona, D; Briola, D; Seghrouchni, Aef; Mascardi, V; Taillibert, P
Computational thinking for beginners: A successful experience using prolog
2015-01-01 Beux, S; Briola, D; Corradi, A; Delzanno, G; Ferrando, A; Frassetto, F; Guerrini, Gabriella; Mascardi, V; Oreggia, M; Pozzi, F; Solimando, A; Tacchella, A
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
2015-01-01 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
Distributed runtime verification of JADE multiagent systems
2015-01-01 Briola, D; Mascardi, V; Ancona, D
Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems
2015-01-01 Ancona, D; Briola, D; Mascardi, V
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain
2015-01-01 Leotta, M; Beux, S; Mascardi, V; Briola, D
Global protocols as first class entities for self-adaptive agents
2015-01-01 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
Agents and ontologies for a smart management of heterogeneous data: The IndianaMas system
2016-01-01 Briola, D
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols
2016-01-01 Ancona, D; Briola, D; Ferrando, A; Mascardi, V
Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data
2017-01-01 Briola, D; Mascardi, V
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience
2017-01-01 Briola, D; Deufemia, V; Mascardi, V; Paolino, L
In the field monitoring of interactive application
2017-01-01 Cornejo Olivares, Oe; Briola, D; Micucci, D; Mariani, L
Fragmented monitoring
2017-01-01 Cornejo Olivares, O; Briola, D; Micucci, D; Mariani, L
OntologyBeanGenerator 5.0: Extending ontology concepts with methods and exceptions
2018-01-01 Briola, Daniela; Mascardi, Viviana; Gioseffi, Massimiliano
Field Monitoring with Delayed Saving
2019-01-01 Cornejo, O.; Ginelli, D.; Briola, D.; Micucci, D.; Mariani, L.
A platform for P2P agent-based collaborative applications
2019-01-01 Briola, D; Micucci, D; Mariani, L
CBR: Controlled Burst Recording
2020-01-01 Cornejo, Oscar; Briola, Daniela; Micucci, Daniela; Mariani, Leonardo
In-the-field monitoring of functional calls: Is it feasible?
2020-01-01 Cornejo, Oscar; Briola, Daniela; Micucci, Daniela; Mariani, Leonardo
Message from the GAUSS 2020 Workshop Chairs
2020-01-01 Braione, P.; Briola, D.; De Angelis, G.; Gallo, F.; Poggi, F.; Quattrocchi, G.
OntoScene, a logic-based scene interpreter: implementation and application in the rock art domain
2020-01-01 Briola, D; Mascardi, V; Gioseffi, M
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