Sciweavers

24554 search results - page 4553 / 4911
» Dependable distributed systems
Sort
View
HSNMC
2004
Springer
106views Multimedia» more  HSNMC 2004»
16 years 5 days ago
Two-Tier Geographic Location of Internet Hosts
Multimedia delivery systems, such as Content Distribution Networks (CDNs), improve by knowing the geographic location of their clients. Therefore, we focus on a measurement-based g...
Bamba Gueye, Artur Ziviani, Serge Fdida, Jos&eacut...
ICOIN
2004
Springer
16 years 5 days ago
A Routing Strategy for Metropolis Vehicular Communications
One of the major issues that affect the performance of mobile ad hoc networks (MANET) is routing. Recently, position-based routing for MANET is found to be a very promising routin...
Genping Liu, Bu-Sung Lee, Boon-Chong Seet, Chuan H...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 5 days ago
Linking CSP-OZ with UML and Java: A Case Study
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...
Michael Möller, Ernst-Rüdiger Olderog, H...
IPTPS
2004
Springer
16 years 5 days ago
The Case for a Hybrid P2P Search Infrastructure
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...
Boon Thau Loo, Ryan Huebsch, Ion Stoica, Joseph M....
ISER
2004
Springer
173views Robotics» more  ISER 2004»
16 years 5 days ago
Synergies in Feature Localization by Air-Ground Robot Teams
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...
Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Cam...
« Prev « First page 4553 / 4911 Last » Next »