Per anno

4 pubblicazioni senza PubMed ID / 2003 / Mirko Viroli

2003

Mirko Viroli

A Type-Passing Approach for the Implementation of Parametric Methods in {Java}

(articolo in rivista) The Computer Journal 46(3), 2003

Andrea Omicini, Alessandro Ricci, Mirko Viroli

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

(articolo in atti) SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, agosto 2003

Mirko Viroli, Andrea Omicini

Coordination as a Service: Ontological and Formal Foundation

(articolo in atti) Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, marzo 2003

Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN

(articolo in atti) WOA 2003, 10-11 September 2003

4 pubblicazioni nel 2003 senza PubMed ID • in cima • indice • in fondo