1075 search results - page 174 / 215 » Toward a Verified Relational Database Management System |
162
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
147
click to vote
SIGUCCS
2004
ACM
15 years 9 months ago
2004
ACM
Academic institutions’ dependence on web-based technologies to improve efficiency in class offerings, academic records, and office documentation is increasing at a rapid pace. T...
139
Voted
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
141
Voted
PODS
2008
ACM
16 years 4 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
141
click to vote
PODS
2011
ACM
14 years 6 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...