CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 342
Titolo Autore(i) Anno Periodico Editore Tipo File
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication Tummolini Luca; Castelfranchi Cristiano; Ricci Alessandro; Viroli Mirko; Omicini Andrea 2004-01-01 - s.n. 4.01 Contributo in Atti di convegno -
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure Ricci Alessandro; Viroli Mirko; Omicini Andrea 2004-01-01 - s.n. 4.01 Contributo in Atti di convegno -
A Semantics for the Interaction of Agents with Coordination Artifacts Viroli Mirko; Ricci Alessandro; Omicini Andrea 2004-01-01 - Austrian Society for Cybernetic Studies 4.01 Contributo in Atti di convegno -
Agent Coordination Context: From Theory to Practice Ricci Alessandro; Viroli Mirko; Omicini Andrea 2004-01-01 - Austrian Society for Cybernetic Studies 4.01 Contributo in Atti di convegno -
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications Viroli Mirko; Omicini Andrea 2004-01-01 - s.n. 4.01 Contributo in Atti di convegno -
RBAC for Organisation and Security in an Agent Coordination Infrastructure Omicini Andrea; Ricci Alessandro; Viroli Mirko 2004-01-01 - s.n. 4.01 Contributo in Atti di convegno -
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study MENEZES RONALDO; OMICINI ANDREA; VIROLI MIRKO 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Operational Semantics for Agents by Iterated Refinment Federico Bergenti; Giovanni Rimassa; Mirko Viroli 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Timed Extension of ReSpecT Alessandro Ricci; Mirko Viroli 2005-01-01 - ACM 4.01 Contributo in Atti di convegno -
Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2005) Dina Goldin; Mirko Viroli 2005-01-01 - Elsevier 3.02 Curatela -
FOCLASA '05, 4th International Workshop on the Foundations of Coordination Languages and Software Architectures Carlos Canal; Mirko Viroli 2005-01-01 - Dept. of Computer, Science Universidad de Malaga 3.02 Curatela -
RBAC for Organisation and Security in an Agent Coordination Infrastructure Omicini Andrea; Ricci Alessandro; Viroli Mirko 2005-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres Michele Cabano; Enrico Denti; Alessandro Ricci; Mirko Viroli 2005-01-01 - s.n 4.01 Contributo in Atti di convegno -
Workshop on the Foundations of Interactive Computation: FInCo 2005 Dina Goldin; Mirko Viroli 2005-01-01 - LFCS University of Endiburgh 3.02 Curatela -
Agent Interaction Semantics by Timed Operating Instructions Mirko Viroli; Alessandro Ricci 2005-01-01 - Springer 2.01 Capitolo / saggio in libro -
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS Omicini Andrea; Ricci Alessandro; Viroli Mirko 2005-01-01 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING - 1.01 Articolo in rivista -
Understanding Access Restriction of Variant Parametric Types and Java Wildcards Giovanni Rimassa; Mirko Viroli 2005-01-01 - ACM 4.01 Contributo in Atti di convegno -
Cognitive Stigmergy: A Framework Based on Agents and Artifacts Ricci Alessandro; Omicini Andrea; Viroli Mirko; Gardelli Luca; Oliva Enrico 2005-01-01 - Koninklijke Vlaamse Academie van Belie voor Wetens 4.01 Contributo in Atti di convegno -
A Framework for Engineering Interactions in Java-based Component Systems Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli 2005-01-01 - s.n 4.01 Contributo in Atti di convegno -
Process Algebras and Multi-Agent Systems Viroli Mirko; Omicini Andrea 2005-01-01 - Springer 3.02 Curatela -
Mostrati risultati da 21 a 40 di 342
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