The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...