3006 search results - page 152 / 602 » Overview |
139
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
197
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Adaptive query processing has been the subject of a great deal of recent work, particularly in emerging data management environments such as data integration and data streams. We ...
110
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We provide here an overview of the new and rapidly emerging research area of privacy preserving data mining. We also propose a classification hierarchy that sets the basis for ana...
150
Voted
PODS
2002
ACM
16 years 3 months ago
2002
ACM
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
127
Voted
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...