188 search results - page 15 / 38 » java 2001 |
FASE
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
OOPSLA
2001
Springer
13 years 12 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
APLAS
2001
ACM
13 years 11 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
PACT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
SEKE
2001
Springer
13 years 12 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...