4543 search results - page 876 / 909 » Interactive Distributed Configuration |
SSS
2005
Springer
14 years 2 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...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
CSCW
2004
ACM
14 years 2 months ago
2004
ACM
Although telepointers are valuable for supporting real-time collaboration, they are rarely seen in commercial groupware applications that run on the Internet. One reason for their...
DOCENG
2004
ACM
14 years 2 months ago
2004
ACM
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...