7300 search results - page 334 / 1460 » Multi-modal network protocols |
176
click to vote
ICPADS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a simple protocol that enhances the communication between end nodes and “the network”. Other than the majority of QoS signaling systems, it achieves scalability by...
215
click to vote
JACM
2002
15 years 6 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: ...
164
click to vote
EUROPAR
2003
Springer
15 years 12 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...
209
click to vote
ICNP
2000
IEEE
15 years 11 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 ...
179
click to vote
ICNSC
2007
IEEE
16 years 1 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...