777 search results - page 97 / 156 » Declarative Data Cleaning: Language, Model, and Algorithms |
88
Voted
JCS
2008
14 years 10 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
98
Voted
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Recently, the Web has been rapidly "deepened" by many searchable databases online, where data are hidden behind query forms. For modelling and integrating Web databases,...
66
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
84
Voted
WSDM
2009
ACM
15 years 5 months ago
2009
ACM
This paper proposes a novel application of a statistical language model to opinionated document retrieval targeting weblogs (blogs). In particular, we explore the use of the trigg...
101
Voted
CADE
2003
Springer
15 years 10 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...