1075 search results - page 74 / 215 » Toward a Verified Relational Database Management System |
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
MTA
2002
13 years 8 months ago
2002
Digital video databases have become more pervasive and finding video clips quickly in large databases becomes a major challenge. Due to the nature of video, accessing contents of v...
SWAP
2007
13 years 10 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
VAMOS
2008
Springer
13 years 10 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present an overview of the selfmanagement features of SQL Anywhere, a full-function relational database system designed for frontline business environments with m...