3972 search results - page 201 / 795 » Palpability Support Demonstrated |
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
We propose some improvements of TCP Vegas and compare its performance characteristics in comparison with TCP Reno. We demonstrate through analysis that TCP Vegas, with its better ...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
ER
1998
Springer
14 years 1 months ago
1998
Springer
1 Rumor is an optimistically replicated le system designed for use in mobile computers. Rumor uses a peer model that allows opportunistic update propagation among any sites replica...
CIA
1997
Springer
14 years 1 months ago
1997
Springer
This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Even...