1075 search results - page 111 / 215 » Toward a Verified Relational Database Management System |
DEXAW
2006
IEEE
14 years 2 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
BMCBI
2005
13 years 8 months ago
2005
Background: Complex biological database systems have become key computational tools used daily by scientists and researchers. Many of these systems must be capable of executing on...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...
ISLPED
2009
ACM
14 years 3 months ago
2009
ACM
Enterprises rely on decision support systems to influence critical business choices. At the same time, IT-related power costs are growing and are a key concern for enterprise exe...
EDM
2011
12 years 8 months ago
2011
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...