IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishIn this paper, we describe a framework for specifying, simulating and verifying negotiation protocols following an agent-based approach. Most of the components of this framework have already been implemented and tested, whereas verification facilities using temporal logic, which are the most innovative aspect of this proposal, are being designed at the time of writing.
Briola, D., M, M., & Mascardi, V. (2010). Specification, simulation and verification of negotiation protocols in a unified agent-based framework. In Proceedings of 12th Italian Conference on Theoretical Computer Science, ICTCS2010 (pp.1-4).
| Citazione: | Briola, D., M, M., & Mascardi, V. (2010). Specification, simulation and verification of negotiation protocols in a unified agent-based framework. In Proceedings of 12th Italian Conference on Theoretical Computer Science, ICTCS2010 (pp.1-4). | |
| Tipo: | paper | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | No | |
| Titolo: | Specification, simulation and verification of negotiation protocols in a unified agent-based framework | |
| Autori: | Briola, D; M, M; Mascardi, V | |
| Autori: | ||
| Data di pubblicazione: | 2010 | |
| Lingua: | English | |
| Nome del convegno: | ICTCS2010 Italian Conference on Theoretical Computer Science (ICTCS) | |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2022