3991 search results - page 506 / 799 » Bounding homogeneous models |
169
click to vote
ICDCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper studies compact routing schemes for networks with low doubling dimension. Two variants are explored, name-independent routing and labeled routing. The key results obtai...
188
click to vote
LCN
2006
IEEE
16 years 25 days ago
2006
IEEE
Infostations provide an inexpensive and high speed wireless disseminator that features discontinuous coverage by bounding many low cost, limited transmission range and high-bandwi...
165
click to vote
ICNP
2005
IEEE
16 years 13 days ago
2005
IEEE
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...
178
click to vote
RTAS
2005
IEEE
16 years 12 days ago
2005
IEEE
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
179
click to vote
ATVA
2005
Springer
16 years 11 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...