2162 search results - page 398 / 433 » A Meta-Notation for Protocol Analysis |
IPOM
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a full video delivery network monitoring suite. Our monitoring tool offers a new view of a video delivery network, a view based on the quality perceived by fi...
STACS
2007
Springer
14 years 4 months ago
2007
Springer
One frequently studied problem in the context of information dissemination in communication networks is the broadcasting problem. In this paper, we study the following randomized b...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
WADS
2007
Springer
14 years 4 months ago
2007
Springer
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...
ETFA
2006
IEEE
14 years 4 months ago
2006
IEEE
In the context of distributed real-time systems as deployed in the avionic and the automotive domain a substantial number of system malfunctions result from connector faults. For ...