1075 search results - page 91 / 215 » Toward a Verified Relational Database Management System |
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
IJOCI
2010
13 years 6 months ago
2010
We present a time-efficient approach to index objects moving on the plane to efficiently answer range queries about their future positions. Each object is moving with non small ve...
ADBIS
2007
Springer
14 years 3 months ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
IDEAS
1998
IEEE
14 years 1 months ago
1998
IEEE
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...
INTERNET
2006
13 years 9 months ago
2006
level is a grid abstract machine, which consists of a collection of typed nodes -- data nodes (purple), director nodes (red), management nodes (orange), and various processing node...