1075 search results - page 53 / 215 » Toward a Verified Relational Database Management System |
166
click to vote
PETRA
2009
ACM
15 years 10 months ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...
139
click to vote
CIDR
2003
15 years 5 months ago
2003
Current database management system technology is not well equipped to provide adequate support for what has been deemed the 3rd wave of computing -- Ubiquitous Computing. Such app...
171
click to vote
AGIS
1998
15 years 3 months ago
1998
With the development of modern cities, 3-D spatial information systems (SIS) are increasingly required for spatial planning, communication systems and other applications. The geom...
121
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a n...
131
click to vote
FTDB
2007
15 years 4 months ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...