6808 search results - page 386 / 1362 » Distributed Concurrency Control |
168
click to vote
FROCOS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
228
click to vote
WOSP
2004
ACM
16 years 7 days ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
152
click to vote
AAAI
2010
15 years 8 months ago
2010
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
112
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We study the problem of preventing double spending in electronic payment schemes in a distributed fashion. This problem occurs, for instance, when the spending of electro...
158
click to vote
DKE
2002
15 years 6 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...