1480 search results - page 215 / 296 » Mobile Agents for Distributed Processing |
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...
ICALP
2003
Springer
15 years 3 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
PDPTA
2003
14 years 12 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
KES
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....
SAC
2002
ACM
14 years 10 months ago
2002
ACM
This paper focuses on coordination middleware for distributed applications based on active documents and XML technologies. It introduces the main concepts underlying active docume...