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 ...
Jeonghoon Mo, Richard J. La, Venkat Anantharam, Je...
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 ...
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...
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...
Richard G. Guy, Peter L. Reiher, David Ratner, Mic...
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...
Mikael Berndtsson, Sharma Chakravarthy, Brian Ling...