18924 search results - page 3395 / 3785 » Conformance of Distributed Systems |
143
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
144
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
Popular P2P file-sharing systems like Gnutella and Kazaa use unstructured network designs. These networks typically adopt flooding-based search techniques to locate files. Whil...
140
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and ground vehicles engaged in active perception. We provide a theo...
121
click to vote
ISPA
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates fault tolerance issues in Bistro, a wide area upload architecture. In Bistro, clients first upload their data to intermediaries, known as bistros. A destin...
151
click to vote
ISPA
2004
Springer
15 years 10 months ago
2004
Springer
Context-aware computing is a computing paradigm in which applications can take advantage of contextual information. Quality of network connection is a very important factor for mob...