5015 search results - page 689 / 1003 » Model Checking a Path |
178
click to vote
MASCOTS
2004
15 years 8 months ago
2004
One of the primary challenges facing scalable network emulation and simulation is the overhead of storing network-wide routing tables or computing appropriate routes on a per-pack...
152
click to vote
UAI
2001
15 years 8 months ago
2001
It is "well known" that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved ca...
174
click to vote
IM
2003
15 years 8 months ago
2003
: With Bandwidth Broker (BB) support in each domain, Differentiated Services (Diffserv) is seen as a key technology for achieving QoS guarantees in a scalable, efficient, and deplo...
176
click to vote
CN
2010
15 years 6 months ago
2010
In WDM networks, it is important to protect connections against link failures due to the high bandwidth provided by a fiber link. Although many p-cycle based schemes have been pro...
164
Voted
CCR
2008
15 years 6 months ago
2008
In this paper we present Cyclops, a system that collects and displays information of AS-level connectivity extracted from looking glasses, route-servers and BGP tables and updates...