Sciweavers

5326 search results - page 251 / 1066
» On what we can ensure
Sort
View
SASO
2008
IEEE
16 years 1 months ago
Connectivity Service for Mobile Ad-Hoc Networks
Abstract—We present a distributed connectivity service that allows agents in a mobile ad-hoc network to move while preserving connectivity. This allows unmodified motion plannin...
Alejandro Cornejo, Nancy A. Lynch
188
Voted
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
16 years 1 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
168
Voted
IPPS
2007
IEEE
16 years 1 months ago
Implementing and Evaluating Automatic Checkpointing
As the size and popularity of computer clusters go on growing, fault tolerance is becoming a crucial factor to ensure high performance and reliability for applications. To provide...
Antonio S. Martins, Ronaldo Augusto Lara Gon&ccedi...
195
Voted
SAINT
2007
IEEE
16 years 1 months ago
High Availability and Scalability Support for Web Applications
A database query caching technique, GlobeCBC, can be used to improve the scalability of Web applications. This paper addresses the availability issues in GlobeCBC. Even though hig...
Louis Rilling, Swaminathan Sivasubramanian, Guilla...
CNSR
2006
IEEE
16 years 1 months ago
Trusted Computing for Protecting Ad-hoc Routing
Ad-hoc networks rely on participation and cooperation of nodes within the network to transmit data to destinations. However, in networks where participating nodes are controlled b...
Michael Jarrett, Paul Ward