Sciweavers

6808 search results - page 158 / 1362
» Distributed Concurrency Control
Sort
View
CLOUDCOM
2010
Springer
15 years 4 months ago
Inadequacies of Current Risk Controls for the Cloud
M. Auty, Sadie Creese, Michael Goldsmith, Paul Hop...
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 10 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