7329 search results - page 334 / 1466 » Network Extractor Protocols |
166
click to vote
JACM
2002
15 years 4 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
135
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...
167
click to vote
ICNP
2000
IEEE
15 years 9 months ago
2000
IEEE
Images account for a significant and growing fraction of Web downloads. The traditional approach to transporting images uses TCP, which provides a generic reliable, in-order eam ...
146
Voted
ICNSC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper we present new queue length based Internet congestion control protocol which is shown through simulations to work effectively. The control objective is to regulat...
139
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...