2841 search results - page 190 / 569 » A Call to Order |
178
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
189
click to vote
ICSM
1996
IEEE
15 years 11 months ago
1996
IEEE
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
203
click to vote
ECP
1997
Springer
15 years 11 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
159
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
159
Voted
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...