3228 search results - page 361 / 646 » Computationally Sound Proofs |
132
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
124
click to vote
ICTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
121
click to vote
ISMIS
2003
Springer
15 years 9 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
121
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a new probabilistic feature-based approach to multi-hypothesis global localization and pose tracking. Hypotheses are generated using a constraintbased sea...
113
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...