1418 search results - page 87 / 284 » A Theory of Stream Queries |
158
click to vote
TKDE
2008
15 years 5 months ago
2008
With the advance of hardware and communication technologies, stream time series is gaining ever-increasing attention due to its importance in many applications such as financial da...
175
click to vote
SIGMOD
2011
ACM
14 years 8 months ago
2011
ACM
In spite of the omnipresence of parallel (multi-core) systems, the predominant strategy to evaluate window-based stream joins is still strictly sequential, mostly just straightfor...
145
Voted
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Traditional workflow enactment systems and workflow design processes view the workflow as a one-time interaction with the various data sources, executing a series of step...
160
Voted
MST
2007
15 years 4 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
133
Voted
CIE
2005
Springer
15 years 11 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...