6808 search results - page 613 / 1362 » Distributed Concurrency Control |
178
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
182
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
213
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...
213
click to vote
HPCN
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
193
click to vote
HICSS
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we propose a framework that can be used for the implementation of reliable multi database system communication protocols. The framework provides transactions on shar...