Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 58
Titolo Data di pubblicazione Autore(i) File
Development planning based on interoperable agent driven simulation 1-gen-2014 Massei, M; Poggi, S; Agresta, Matteo; Ferrando, Angelo
Global protocols as first class entities for self-adaptive agents 1-gen-2015 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Computational thinking for beginners: {A} successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Parametric protocol-driven agents and their integration in {JADE} 1-gen-2015 Ferrando, Angelo
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 1-gen-2015 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Simulation of autonomous systems in the extended marine domain 1-gen-2016 Tremori, Alberto; Agresta, Matteo; Ferrando, Angelo
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 1-gen-2016 Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 1-gen-2016 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 1-gen-2016 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 1-gen-2016 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 1-gen-2016 Ferrando, Angelo
Comparing trace expressions and linear temporal logic for runtime verification 1-gen-2016 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Parametric trace expressions for runtime verification of Java-like programs 1-gen-2017 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Parametric Runtime Verification of Multiagent Systems 1-gen-2017 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Decentralizing MAS Monitoring with DecAMon 1-gen-2017 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Hackmytown: An educational experience on smart cities 1-gen-2017 Del Fatto, Vincenzo; Dodero, Gabriella; Bernhard, Armin; Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana; Laurini, Robert; Roccasalva, Giuseppe
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Managing bad AIPs with RIVERtools 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 1-gen-2018 Ferrando, A.
Mostrati risultati da 1 a 20 di 58
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