Sciweavers

82 search results - page 9 / 17
» Specifying Asynchronous Transfer of Control
Sort
View
100
Voted
CCR
1999
64views more  CCR 1999»
14 years 11 months ago
TCP congestion control with a misbehaving receiver
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...
Stefan Savage, Neal Cardwell, David Wetherall, Tom...
79
Voted
MTA
2000
72views more  MTA 2000»
14 years 11 months ago
An Interactive Telelecture System with Hybrid ATM/IP Networking
Currently, there is much debate whether ATM (Asynchronous Transfer Mode) or IP (Internet Protocol) is the better internetworking technology for multiparty multimedia applications....
Jörg Liebeherr, Steven R. Brown, Rick Alberts...
105
Voted
SPIN
2010
Springer
14 years 10 months ago
Nevertrace Claims for Model Checking
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...
Zhe Chen, Gilles Motet

Publication
151views
16 years 10 months ago
The OSU Scheme for Congestion Avoidance in ATM Networks: Lessons Learnt and Extensions
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...
Raj Jain, Shiv Kalyanaraman and Ram Viswanathan
BDA
1998
15 years 1 months ago
Methods and views
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...
Jan Van den Bussche, Emmanuel Waller