Sciweavers

6808 search results - page 158 / 1362
» Distributed Concurrency Control
Sort
View
156
Voted
COORDINATION
1997
Springer
15 years 11 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
CLOUDCOM
2010
Springer
15 years 4 months ago
Inadequacies of Current Risk Controls for the Cloud
M. Auty, Sadie Creese, Michael Goldsmith, Paul Hop...
177
Voted
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 11 months ago
Sensors and Actuators in TCOZ
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...
Brendan P. Mahony, Jin Song Dong