Sciweavers

5748 search results - page 939 / 1150
» Contexts for the Semantic Web
Sort
View
POS
1998
Springer
15 years 11 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
TYPES
1998
Springer
15 years 11 months ago
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
Thomas Kleymann
SSDBM
1997
IEEE
96views Database» more  SSDBM 1997»
15 years 11 months ago
Summarizability in OLAP and Statistical Data Bases
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
Hans-Joachim Lenz, Arie Shoshani
SMA
1997
ACM
123views Solid Modeling» more  SMA 1997»
15 years 10 months ago
On Multiple Interpretations
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
JungHyun Han
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 10 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters