1075 search results - page 78 / 215 » Toward a Verified Relational Database Management System |
EDBT
2006
ACM
14 years 9 months ago
2006
ACM
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
CIDR
2009
13 years 10 months ago
2009
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
WICON
2008
13 years 10 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...
DAC
2008
ACM
13 years 10 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
EDBT
2009
ACM
13 years 6 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...