Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
This paper describes an implementation of Java's Remote Method Invocation RMI that is designed to run on top of the Globus high performance computing protocol. The primary con...
The diversity of computers and networks within a distributed system makes these systems highly heterogeneous. System heterogeneity complicates the design of static applications tha...