1075 search results - page 149 / 215 » Toward a Verified Relational Database Management System |
ECCB
2005
IEEE
14 years 2 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
PODS
2010
ACM
14 years 1 months ago
2010
ACM
The notion of certain answers arises when one queries incompletely specified databases, e.g., in data integration and exchange scenarios, or databases with missing information. W...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Continuous analytics systems that enable query processing over steams of data have emerged as key solutions for dealing with massive data volumes and demands for low latency. Thes...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Today’s one-pass analytics applications tend to be data-intensive in nature and require the ability to process high volumes of data efficiently. MapReduce is a popular programm...
VAST
2004
ACM
14 years 2 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...