Sciweavers

5334 search results - page 259 / 1067
» Communicating quantum processes
Sort
View
AMAI
2004
Springer
15 years 10 months ago
Multi-Agent Dialogue Protocols
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
Christopher D. Walton
137
Voted
APSEC
2000
IEEE
15 years 9 months ago
Supporting collaboration in distributed software engineering teams
Software engineering is no longer the preserve of individuals but is essentially a team-based activity involving a wide variety of stakeholders and thus making the need for commun...
Paul J. Layzell, Pearl Brereton, A. French
IPPS
1998
IEEE
15 years 9 months ago
A Case for Aggregate Networks
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...
Raymond Hoare, Henry G. Dietz
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 5 months ago
Naming Games in Spatially-Embedded Random Networks
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti