1036 search results - page 196 / 208 » Utilizing Validation Experience for System Validation |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
DEXA
2009
Springer
14 years 2 months ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
RAID
2009
Springer
14 years 2 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
— We propose a new approach to the problem of schema matching in relational databases that merges the hybrid and composite approach of combining multiple individual matching tech...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...