28821 search results - page 5423 / 5765 » Distributed and parallel systems |
181
click to vote
IFM
2004
Springer
16 years 1 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...
174
click to vote
IPTPS
2004
Springer
16 years 1 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...
162
click to vote
ISER
2004
Springer
16 years 1 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...
216
click to vote
KDD
2004
ACM
16 years 1 days ago
2004
ACM
Many real-world graphs have been shown to be scale-free— vertex degrees follow power law distributions, vertices tend to cluster, and the average length of all shortest paths is...
201
click to vote
KES
2004
Springer
16 years 1 days ago
2004
Springer
The goal of the GecGo middleware is to provide all the services required by self-organizing distributed applications running on multihop ad-hoc networks. Because of the frequent as...