7055 search results - page 1031 / 1411 » Some New 4-Designs |
234
Voted
TARK
1992
Springer
15 years 11 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
201
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Multiversion two-phase locking (MV2PL) has been incorporated in some commercial transaction processing systems to support the serializable execution of queries. A drawback to this...
213
click to vote
ICDCS
1990
IEEE
15 years 11 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
168
Voted
ICLP
1990
Springer
15 years 11 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
204
Voted
RTSS
1990
IEEE
15 years 11 months ago
1990
IEEE
In a recent study, we have shown that in real-time database systems that discard late transactions, optimistic concurrency control outperforms locking. Although the optimistic alg...