Sciweavers

488 search results - page 17 / 98
» Derivation of Java Monitors
Sort
View
TSE
2010
180views more  TSE 2010»
14 years 7 months ago
Aspect-Oriented Race Detection in Java
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
Eric Bodden, Klaus Havelund
AGTIVE
2007
Springer
15 years 1 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
LSSC
2001
Springer
15 years 1 months ago
IC2D: Interactive Control and Debugging of Distribution
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
Françoise Baude, Alexandre Bergel, Denis Ca...
SP
2000
IEEE
121views Security Privacy» more  SP 2000»
15 years 1 months ago
A Security Infrastructure for Distributed Java Applications
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
Dirk Balfanz, Drew Dean, Mike Spreitzer
VLDB
1989
ACM
87views Database» more  VLDB 1989»
15 years 1 months ago
Situation Monitoring for Active Databases
paper is concerned with ways of specifying situations and evaluating them efficiently. The techniques described in this paper were developed as part of the HiPAC (High Performance...
Arnon Rosenthal, Sharma Chakravarthy, Barbara T. B...