211 search results - page 25 / 43 » The Join Calculus: A Language for Distributed Mobile Program... |
HPDC
1996
IEEE
14 years 23 days ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
IFIP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
POPL
2000
ACM
14 years 29 days ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
PROMAS
2005
Springer
14 years 2 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...