18924 search results - page 3395 / 3785 » Conformance of Distributed Systems |
190
click to vote
IFM
2004
Springer
16 years 6 days 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...
179
click to vote
IPTPS
2004
Springer
16 years 6 days 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...
168
click to vote
ISER
2004
Springer
16 years 6 days 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...
165
click to vote
ISPA
2004
Springer
16 years 6 days 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...
187
click to vote
ISPA
2004
Springer
16 years 6 days 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...