6756 search results - page 993 / 1352 » Distributed Shared State |
201
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
225
Voted
CANS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Wireless sensors are low power devices which are highly constrained in terms of computational capabilities, memory, and communication bandwidth. While battery life is the...
188
Voted
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
We consider imperfect-information parity games in which strategies rely on observations that provide imperfect information about the history of a play. To solve such games, i.e., t...
173
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
178
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...