37 search results - page 8 / 8 » Stabilization of Information Sharing for Queries Answering i... |
ICLP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
SSS
2005
Springer
13 years 11 months ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...