1426 search results - page 41 / 286 » A theory of goal-oriented communication |
PKC
2009
Springer
16 years 2 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
140
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
106
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
Building cooperatively 3-D maps of unknown environments is one of the application fields of multi-robot systems. This article addressesthatproblemthroughaprobabilisticapproachbas...
187
click to vote
GLOBAL
2003
Springer
15 years 6 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
106
click to vote
KI
2001
Springer
15 years 5 months ago
2001
Springer
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...