598 search results - page 86 / 120 » A dynamic birthmark for java |
CAV
2007
Springer
14 years 14 days ago
2007
Springer
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...
APSEC
2004
IEEE
14 years 7 days ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
CLUSTER
2001
IEEE
14 years 4 days ago
2001
IEEE
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...
ESOP
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
NPIV
1998
ACM
14 years 2 days ago
1998
ACM
In this paper,we describeanexperimental web application, Visual MeSH that supports dynamic user interaction with medical vocabulary databasesand literature databases. Visual MeSH ...