1362 search results - page 172 / 273 » Model Checking Large Network Protocol Implementations |
108
click to vote
ADHOC
2010
15 years 3 months ago
2010
The Optimized Link State Routing (OLSR) protocol is a well-known route discovery protocol for ad-hoc networks. OLSR optimizes the flooding of link state information through the ne...
153
click to vote
COMCOM
2006
15 years 3 months ago
2006
This paper describes an INtrusion-tolerant routing protocol for wireless SEnsor NetworkS (INSENS). INSENS securely and efficiently constructs tree-structured routing for wireless ...
108
click to vote
CN
2006
15 years 3 months ago
2006
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
125
click to vote
HPDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...
121
click to vote
MAGS
2008
15 years 3 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...