1700 search results - page 168 / 340 » Specifying and implementing refactorings |
272
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
256
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
264
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
189
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We study the problem of answering queries through a target schema, given a set of mappings between one or more source schemas and this target schema, and given that the data is at...
185
Voted
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-Unstructured text represents a large fraction of the world's data. It often contain snippets of structured information within them (e.g., people's names and zip ...