Sfoglia per Serie
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
2010-01-01 Matteo, Baldoni; Cristina, Baroglio; Federico, Bergenti; Boccalatte, Antonio; Elisa, Marengo; Martelli, Maurizio; Mascardi, Viviana; Luca, Padovani; Viviana, Patti; Alessandro, Ricci; Gianfranco, Rossi; Andrea, Santi
messyBIM: Augmenting a Building Information Model with Messy Talk to Improve a Buildings’ Design Process
2021-01-01 Horvath, Anca-Simona; Vite, Clara; Holten Møller, Naja; Neff, Gina
A Method for Testing Model to Text Transformations
2013-01-01 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
Multiparty Verbal Interaction between Humans and Artificial Agents
2023-01-01 Grassi, L.; Recchiuto, C.; Sgorbissa, A.
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain
2015-01-01 Leotta, Maurizio; Beux, Silvio; Mascardi, Viviana; Briola, Daniela
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square
2017-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square
2018-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa
A novel cyber-security framework leveraging programmable capabilities in digital services
2020-01-01 Repetto, M.; Carrega, A.; Duzha, A.
On the design space of mapreduce ROLLUP aggregates
2014-01-01 Phan, D. H.; Dell'Amico, M.; Michiardi, P.
On the feasibility of using OWL 2 reasoners in ontology alignment repair problems
2015-01-01 Solimando, Alessandro; Jimenez Ruiz, Ernesto; Guerrini, Giovanna
On the formalization of decentralized contact tracing protocols
2020-01-01 Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A.
On the parameterized verification of abstract models of contact tracing protocols
2021-01-01 Conchon, S.; Delzanno, G.; Sangnier, A.
On weak truthmaking
2019-01-01 Guarino, N.; Porello, D.; Guizzardi, G.
An ontological account of the action theory of economic exchanges
2020-01-01 Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N.
Ontological foundations for trust management: Extending the reference ontology of trust
2021-01-01 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
An Ontology-Based Archive for Historical Research
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
OpenSatRange: An Open Cyber Range for Operators and Users of Satellite Communication Networks
2024-01-01 Patrone, F.; Loreti, P.; Fiscariello, L.; Bracciale, L.; Amici, A.; Detti, A.; Roseti, C.; Zampognaro, F.; Luglio, M.; Bianchi, G.; Marchese, M.
Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach
2015-01-01 Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna
OT Cyber Security Frameworks Comparison Tool (CSFCTool)
2021-01-01 Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking
2018-01-01 Delzanno, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems | 1-gen-2010 | Matteo, Baldoni; Cristina, Baroglio; Federico, Bergenti; Boccalatte, Antonio; Elisa, Marengo; Martelli, Maurizio; Mascardi, Viviana; Luca, Padovani; Viviana, Patti; Alessandro, Ricci; Gianfranco, Rossi; Andrea, Santi | |
messyBIM: Augmenting a Building Information Model with Messy Talk to Improve a Buildings’ Design Process | 1-gen-2021 | Horvath, Anca-Simona; Vite, Clara; Holten Møller, Naja; Neff, Gina | |
A Method for Testing Model to Text Transformations | 1-gen-2013 | Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio | |
Multiparty Verbal Interaction between Humans and Artificial Agents | 1-gen-2023 | Grassi, L.; Recchiuto, C.; Sgorbissa, A. | |
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain | 1-gen-2015 | Leotta, Maurizio; Beux, Silvio; Mascardi, Viviana; Briola, Daniela | |
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square | 1-gen-2017 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square | 1-gen-2018 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa | |
A novel cyber-security framework leveraging programmable capabilities in digital services | 1-gen-2020 | Repetto, M.; Carrega, A.; Duzha, A. | |
On the design space of mapreduce ROLLUP aggregates | 1-gen-2014 | Phan, D. H.; Dell'Amico, M.; Michiardi, P. | |
On the feasibility of using OWL 2 reasoners in ontology alignment repair problems | 1-gen-2015 | Solimando, Alessandro; Jimenez Ruiz, Ernesto; Guerrini, Giovanna | |
On the formalization of decentralized contact tracing protocols | 1-gen-2020 | Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A. | |
On the parameterized verification of abstract models of contact tracing protocols | 1-gen-2021 | Conchon, S.; Delzanno, G.; Sangnier, A. | |
On weak truthmaking | 1-gen-2019 | Guarino, N.; Porello, D.; Guizzardi, G. | |
An ontological account of the action theory of economic exchanges | 1-gen-2020 | Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N. | |
Ontological foundations for trust management: Extending the reference ontology of trust | 1-gen-2021 | Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D. | |
An Ontology-Based Archive for Historical Research | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
OpenSatRange: An Open Cyber Range for Operators and Users of Satellite Communication Networks | 1-gen-2024 | Patrone, F.; Loreti, P.; Fiscariello, L.; Bracciale, L.; Amici, A.; Detti, A.; Roseti, C.; Zampognaro, F.; Luglio, M.; Bianchi, G.; Marchese, M. | |
Orchestrating global systems science and information technologies for policy modelling: The SYMPHONY approach | 1-gen-2015 | Bothos, Efthimios; Nikolakakou, Niki; Metnzas, Gregoris; Raberto, Marco; Teglio, Andrea; Cincotti, Silvano; Schütze, Franziska; Zimmermann, Hendrik; Grobelnik, Marko; Triantafillou, Anna | |
OT Cyber Security Frameworks Comparison Tool (CSFCTool) | 1-gen-2021 | Murino, Giuseppina; Ribaudo, Marina; Pietro Romano, Simon; Tacchella, Armando | |
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking | 1-gen-2018 | Delzanno, G. |
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