82 search results - page 9 / 17 » Specifying Asynchronous Transfer of Control |
CCR
1999
14 years 9 months ago
1999
In this paper, we explore the operation of TCP congestion control when the receiver can misbehave, as might occur with a greedy Web client. We first demonstrate that there are sim...
MTA
2000
14 years 9 months ago
2000
Currently, there is much debate whether ATM (Asynchronous Transfer Mode) or IP (Internet Protocol) is the better internetworking technology for multiparty multimedia applications....
89
Voted
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
130
click to vote
Publication
The OSU scheme is a rate-based congestion avoidance scheme for ATM networks using explicit rate indication. This work was one of the first attempts to define explicit rate switch m...
BDA
1998
14 years 10 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...