880 search results - page 59 / 176 » Semantics-Based Concurrency Control |
FORMATS
2010
Springer
13 years 6 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
ICDCS
1990
IEEE
14 years 28 days ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
FM
1999
Springer
14 years 1 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
EUROPAR
2007
Springer
14 years 3 months ago
2007
Springer
We describe and evaluate the performance of a parallel search engine that is able to cope efficiently with concurrent read/write operations. Read operations come in the usual form ...