1195 search results - page 165 / 239 » Modeling an Algebraic Stepper |
273
Voted
VLDB
2006
ACM
16 years 6 months ago
2006
ACM
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
190
click to vote
CALCO
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
170
click to vote
STOC
2010
ACM
15 years 11 months ago
2010
ACM
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMSâ...
196
Voted
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
160
click to vote
CONCUR
1992
Springer
15 years 10 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...