Sciweavers

6808 search results - page 158 / 1362
» Distributed Concurrency Control
Sort
View
109
Voted
ISPAN
2002
IEEE
15 years 7 months ago
Energy Efficient Adaptation of Multicast Protocols in Power Controlled Wireless Ad Hoc Networks
Caimu Tang, Cauligi S. Raghavendra, Viktor K. Pras...
99
Voted
COORDINATION
1997
Springer
15 years 6 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
86
Voted
CLOUDCOM
2010
Springer
15 years 12 days ago
Inadequacies of Current Risk Controls for the Cloud
M. Auty, Sadie Creese, Michael Goldsmith, Paul Hop...
111
Voted
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 6 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