3938 search results - page 131 / 788 » Interactive Protocols on the Reals |
130
Voted
ADT
2006
15 years 4 months 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...
131
click to vote
ENTCS
2006
15 years 4 months 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...
131
Voted
TC
1998
15 years 3 months 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...
145
Voted
IKE
2010
15 years 2 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 ...
150
click to vote
CHI
2007
ACM
15 years 8 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...