1711 search results - page 210 / 343 » Completing pseudojump operators |
SRDS
1997
IEEE
14 years 1 months ago
1997
IEEE
Transaction processing systems are judged by users to be correctly functioning not only if their transactions are executed correctly, but also if most of them are completed within...
ERSHOV
1993
Springer
14 years 1 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
RTA
1993
Springer
14 years 1 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...
SIGGRAPH
1989
ACM
14 years 1 months ago
1989
ACM
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...