Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Presentazioni
Nuvole
tag : formal models
tag : formal models
6 presentazione
Engineering Self-organising Coordination: A Computational Field Approach
(COORDINATION 2013, 03/06/2013) —
Mirko Viroli
(Mirko Viroli)
Formal ReSpecT in the A&A Perspective
(5th International Workshop on Foundations of Coordination Languages and Software Architectures (
FOCLASA 2006
), 31/08/2006) —
Andrea Omicini
(Andrea Omicini)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(EUMAS 2003, 19/12/2003) —
Andrea Omicini
(Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Rethinking MAS Infrastructure based on Activity Theory
(EUMAS 2003, 18/12/2003) —
Andrea Omicini
(Andrea Omicini, Alessandro Ricci, Sascha Ossowski)
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
(CM 2001@SAC 2001, 14/03/2001) —
Mirko Viroli
(Mirko Viroli, Gianluca Moro, Andrea Omicini)
On the Semantics of Tuple-based Coordination Models
(CM @ SAC 1999@SAC 1999, 02/03/1999) —
Andrea Omicini
(Andrea Omicini)
[
nuvola tag
/ presentazioni ]