3 search results - page 1 / 1 » Balls and bins: A study in negative dependence |
RSA
1998
13 years 10 months ago
1998
WINET
2010
13 years 9 months ago
2010
We study routing algorithms for three-dimensional ad hoc networks that guarantee delivery and are k-local, i.e., each intermediate node v’s routing decision only depends on knowl...
VMCAI
2007
Springer
14 years 5 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...