Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
This paper describes a middleware that enables its target application to dynamically incorporate heterogeneous nodes of a cluster. It distributes the objects of the application ac...
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
In this paper,we describeanexperimental web application, Visual MeSH that supports dynamic user interaction with medical vocabulary databasesand literature databases. Visual MeSH ...
Xia Lin, Lewis Hassell, Il-Yeol Song, Tamas E. Dos...