1532 search results - page 50 / 307 » An Algebraic Process Calculus |
203
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
188
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
We present the first complete translation of XPath into an algebra, paving the way for a comprehensive, state-of-theart XPath (and later on, XQuery) compiler based on algebraic op...
102
click to vote
SIGMOD
1993
ACM
15 years 1 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
ICDT
2007
ACM
15 years 3 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
177
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical pa...