9110 search results - page 1699 / 1822 » Formally-Based Design Evaluation |
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Internet paths sharing the same bottleneck can be identified using several shared congestion detection techniques. However, all of these techniques have been designed to detec...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Fueled by the competing DSL and Cable technologies, residential broadband access has seen a significant spread in availability to the point that many users have a choi...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Overlay networks are widely used to deploy functionality at edge nodes without changing network routers. Each node in an overlay network maintains connections with a nu...
LCN
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we present a distributed computing framework designed to support higher quality of service and fault tolerance for processing deadline-driven tasks in a P2P envi...