1746 search results - page 232 / 350 » A Constructive Semantics for ALC |
SC
1992
ACM
15 years 4 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
103
click to vote
PODS
1990
ACM
15 years 4 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
88
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
125
click to vote
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
114
click to vote
EUROSYS
2007
ACM
15 years 4 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...