1471 search results - page 17 / 295 » Composing concurrency control |
JLP
2010
14 years 4 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
83
Voted
ADBIS
1997
Springer
15 years 1 months ago
1997
Springer
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...
106
click to vote
RTSS
1993
IEEE
15 years 1 months ago
1993
IEEE
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
WSC
2007
14 years 12 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...