1075 search results - page 142 / 215 » Toward a Verified Relational Database Management System |
ICDAR
1995
IEEE
14 years 9 days ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
SIGMOD
2000
ACM
14 years 1 months ago
2000
ACM
Microsoft® TerraServer stores aerial, satellite, and topographic images of the earth in a SQL database available via the Internet. It is the world’s largest online atlas, combi...
ER
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
SACMAT
2005
ACM
14 years 2 months ago
2005
ACM
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...
ISMB
2007
13 years 11 months ago
2007
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...