8446 search results - page 1222 / 1690 » A Process Compensation Language |
293
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
278
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
267
click to vote
VLDB
2006
ACM
16 years 7 months ago
2006
ACM
For querying structured and semistructured data, data retrieval and document retrieval are two valuable and complementary techniques that have not yet been fully integrated. In thi...
278
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
209
click to vote
PODS
2008
ACM
16 years 7 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...