315 search results - page 53 / 63 » Dynamic vs. Oblivious Routing in Network Design |
215
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
124
click to vote
PERCOM
2006
ACM
16 years 29 days ago
2006
ACM
The irregularity in quality of wireless communication links poses significant research challenges in wireless sensor network design. Dynamic network conditions and environmental f...
UIC
2007
Springer
15 years 7 months ago
2007
Springer
In mobile ad hoc networks (MANETs), nodes mobility cause network topologies to change dynamically over time, which complicates important tasks such as broadcasting and routing. Mob...
112
click to vote
SPAA
2003
ACM
15 years 6 months ago
2003
ACM
We propose a new approach for constructing P2P networks based on a dynamic decomposition of a continuous space into cells corresponding to servers. We demonstrate the power of thi...
SIGCOMM
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...