2162 search results - page 258 / 433 » A Meta-Notation for Protocol Analysis |
160
click to vote
WCNC
2008
IEEE
16 years 28 days ago
2008
IEEE
—This paper presents a novel ring-based approach to analyze the inter-flow capacity of a backhaul wireless mesh networks (WMNs) with centralized scheduling. Based on the property...
143
click to vote
INFOCOM
2005
IEEE
16 years 4 days ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
151
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— As the multicast-capable part of the Internet continues to evolve, important questions to ask are whether the protocols are operating correctly, the topology is well co...
195
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
171
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...