3938 search results - page 131 / 788 » Interactive Protocols on the Reals |
98
Voted
ADT
2006
15 years 26 days ago
2006
Standard TCP (Reno TCP) does not perform well on fast long distance networks, due to its AIMD congestion control algorithm. In this paper we consider the effectiveness of various a...
102
click to vote
ENTCS
2006
15 years 24 days ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
93
Voted
TC
1998
15 years 13 days ago
1998
—Many applications require communication services with guaranteed timeliness and fault tolerance at an acceptable level of overhead. We present a scheme for restoring real-time c...
115
Voted
IKE
2010
14 years 10 months ago
2010
Real-time information dissemination is essential for the success of key applications such as transportation management and battlefield monitoring. In these applications, relevant ...
120
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
A prototype of computing technology--as a means to evaluate and communicate a good idea--is often an essential step towards useful, shipping products and towards a deeper understa...