2227 search results - page 26 / 446 » Reversibility and Models for Concurrency |
178
click to vote
MASCOTS
1993
15 years 7 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
141
click to vote
ECCV
1994
Springer
16 years 7 months ago
1994
Springer
We analyse a class of tandem fields invariant by stochastic synchronous updating of all sites, subject to a generaJlzed reversibility assumption. We give a formal definition and pr...
148
click to vote
WCRE
2007
IEEE
16 years 4 days ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
164
click to vote
TOOLS
2008
IEEE
16 years 7 days ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
170
click to vote
MCU
1998
15 years 7 months ago
1998
Block cellular automata (BCA) make local, parallel, synchronous and uniform updates of in nite lattices. In the one-dimensionalcase, there exist BCA with 11 states which are unive...