Sciweavers

232 search results - page 17 / 47
» concurrency 2000
Sort
View
CONCURRENCY
2000
155views more  CONCURRENCY 2000»
14 years 9 months ago
Annotating Java class files with virtual registers for performance
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
Joel Jones, Samuel N. Kamin
LPAR
2000
Springer
15 years 1 months ago
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
Wolfgang Grieskamp, Markus Lepper
IJSTM
2000
117views more  IJSTM 2000»
14 years 9 months ago
Architectural design support for business process and business network engineering
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
Henry M. Franken, René Bal, Harmen van den ...
WAIM
2000
Springer
15 years 1 months ago
An Optimal Locking Scheme in Object-Oriented Database Systems
In this paper, a locking-based concurrency control scheme is presented for object-oriented databases (OODBs). It is designed for controlling accesses to class hierarchy, which is ...
Woochun Jun, Le Gruenwald
SAC
2000
ACM
15 years 2 months ago
Parallel C++ for the Java Virtual Machine
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
Timothy E. Denehy, Chang-Hyun Jo