Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2003)

Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003), 10-11 September 2003

Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation
Electronic Notes in Theoretical Computer Science 68(3), March 2003

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Electronic Notes in Theoretical Computer Science 85(3), August 2003

[top]