Sciweavers

1061 search results - page 92 / 213
» A general definition of malware
Sort
View
POS
1998
Springer
15 years 10 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
ICLP
1994
Springer
15 years 10 months ago
Compiling Intensional Sets in CLP
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, ...
IMPERIAL
1993
15 years 10 months ago
Prioritising Preference Relations
We describe some ideas and results about the following problem: Given a set, a family of \preference relations" on the set, and a \priority" among those preference relat...
Mark Ryan
VLDB
1992
ACM
112views Database» more  VLDB 1992»
15 years 10 months ago
Incomplete Information in Relational Temporal Databases
For the conventional relational model there has been considerable research in the area of incomplete information. On the other hand, research in temporal databases has concentrated...
Shashi K. Gadia, Sunil S. Nair, Yiu-Cheong Poon
PODS
1990
ACM
148views Database» more  PODS 1990»
15 years 10 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
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...
Domenico Saccà, Carlo Zaniolo