1113 search results - page 116 / 223 » Counter Systems for Data Logics |
147
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
168
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
166
click to vote
WEBDB
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...
149
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
175
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...