2940 search results - page 382 / 588 » Relational Parametricity and Control |
139
click to vote
SIGSOFT
2006
ACM
16 years 6 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
235
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
160
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
178
click to vote
PODS
2008
ACM
16 years 5 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
128
click to vote
DCC
2002
IEEE
16 years 5 months ago
2002
IEEE
Conventional digital video playback systems provide only limited user interactivity, mostly in the form of VCRlike controls such as fast forward/backward, slow motion, pause/stop,...