7329 search results - page 1110 / 1466 » Network Extractor Protocols |
134
click to vote
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We study the stability of the commonly used packet forwarding protocol, FIFO (First In First Out), in the adversarial queueing model. We prove that FIFO can become unstable, i.e.,...
152
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
129
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we describe an ongoing effort to define common APIs ctured peer-to-peer overlays and the key abstractions that can be built on them. In doing so, we hope to facilit...
192
click to vote
EDOC
2000
IEEE
15 years 10 months ago
2000
IEEE
Due to its high protocol overhead, both in data traffic and in round-trips, Java RMI is poorly suited for communication over slow wireless links. However, its performance can be ...
190
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...