488 search results - page 3 / 98 » Derivation of Java Monitors |
SP
2000
IEEE
14 years 3 months ago
2000
IEEE
Two implementations are given for Java’s stack-inspection accesscontrol policy. Each implementation is obtained by generating an inlined reference monitor (IRM) for a different...
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
CONCURRENCY
2006
13 years 11 months ago
2006
er proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions
JVM
2001
14 years 6 days ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
JVM
2004
14 years 7 days ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...