2243 search results - page 188 / 449 » Contracts for Mobile Processes |
251
click to vote
CN
2007
15 years 7 months ago
2007
In this paper, we propose some cryptographic techniques to securely set up a mobile ad-hoc network. The process is fully self-managed by the nodes, without any trusted party. New ...
180
click to vote
ENTCS
2007
15 years 7 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
199
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
205
click to vote
AROBOTS
2000
15 years 7 months ago
2000
This paper describes a working stereo-vision-based mobile robot that can navigate and autonomously explore its environment safely while building occupancy grid maps of the environ...
204
Voted
SAC
2002
ACM
15 years 6 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...