2162 search results - page 171 / 433 » A Meta-Notation for Protocol Analysis |
KBS
2002
13 years 9 months ago
2002
: We have constructed a set of ontologies modelled on conceptual structures elicited from several domain experts. Protocols were collected from various experts who advise on the se...
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
—This paper proposes a probabilistic technique that enables a node to estimate the number of its neighbors that fulfill certain criteria. The technique does not require any a pr...
WDAG
2010
Springer
13 years 8 months ago
2010
Springer
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
PODC
2010
ACM
13 years 8 months ago
2010
ACM
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
ICUMT
2009
13 years 7 months ago
2009
In this paper we compare the performance of tree different dynamic traffic engineering algorithms exploiting path diversity in the Internet, TEXCP, TRUMP and MIRTO. We passed throu...