5015 search results - page 982 / 1003 » Model Checking a Path |
136
click to vote
ADHOCNOW
2007
Springer
15 years 11 months ago
2007
Springer
We present a distributed topology control protocol that runs on a d-QUDG for d ≥ 1/ √ 2, and computes a sparse, constant-spanner, both in Euclidean distance and in hop distance...
157
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
152
click to vote
ANSS
2006
IEEE
15 years 11 months ago
2006
IEEE
There has been a lot research effort on developing reactive routing algorithms for mobile ad hoc networks (MANETs) over the past few years. Most of these algorithms consider findi...
158
click to vote
BROADNETS
2006
IEEE
15 years 11 months ago
2006
IEEE
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
145
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper investigates theoretical aspects of the uneven energy depletion phenomenon recently noticed in sink-based wireless sensor networks. We consider uniformly distributed...