1113 search results - page 60 / 223 » Counter Systems for Data Logics |
153
click to vote
ADC
2008
Springer
15 years 10 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
105
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
130
click to vote
VLDB
1997
ACM
15 years 8 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
125
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...
128
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...