1075 search results - page 193 / 215 » Toward a Verified Relational Database Management System |
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. The need for exploratory IP traffic data analysis naturally leads ...
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...
IDEAS
2007
IEEE
14 years 2 months ago
2007
IEEE
A sliding window join (SWJoin) is becoming an integral operation in every stream data management system. In some streaming applications the increasing volume of streamed data as w...