Sciweavers

2844 search results - page 524 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
KBSE
2000
IEEE
15 years 8 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
130
Voted
PRDC
2000
IEEE
15 years 8 months ago
Transient errors and rollback recovery in LZ compression
This paper analyzes the data integrity of one of the most widely used lossless data compression techniques, Lempel-Ziv (LZ) compression. In this algorithm, because the data recons...
Wei-Je Huang, Edward J. McCluskey
SIGMOD
1999
ACM
132views Database» more  SIGMOD 1999»
15 years 8 months ago
Mind Your Vocabulary: Query Mapping Across Heterogeneous Information Sources
In this paper we present a mechanism for translating constraint queries, i.e., Boolean expressions of constraints, across heterogeneous information sources. Integrating such syste...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
GCSE
1999
Springer
15 years 8 months ago
Scoping Constructs for Software Generators
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
Yannis Smaragdakis, Don S. Batory
147
Voted
KDD
1998
ACM
183views Data Mining» more  KDD 1998»
15 years 8 months ago
Mining Generalized Association Rules and Sequential Patterns Using SQL Queries
Database integration of mining is becoming increasingly important with tile installation of larger and larger data warehouses built around relational database technology. Most of ...
Shiby Thomas, Sunita Sarawagi