640 search results - page 110 / 128 » Topology Without Tears |
161
Voted
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
—Although network-wide flooding in reactive routing protocols like AODV [1] facilitates the discovery of optimal routes, they engender large control overhead. Some efficient floo...
168
click to vote
INFOCOM
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
159
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
187
click to vote
GMP
2006
IEEE
16 years 4 days ago
2006
IEEE
This paper presents a novel approach to continuously and robustly tracking critical (geometrically, perpendicular and/or extremal) distances from a moving plane point p ∈ R2 to a...
155
Voted
ICNP
2006
IEEE
16 years 3 days ago
2006
IEEE
— Internet routers today can be overwhelmed by a large number of BGP updates triggered by events such as session resets, link failures, and policy changes. Such excessive updates...