488 search results - page 28 / 98 » Derivation of Java Monitors |
133
Voted
DILS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
133
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
113
click to vote
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
114
Voted
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
119
click to vote
VLDB
1989
ACM
15 years 6 months ago
1989
ACM
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...