3091 search results - page 375 / 619 » The Microsoft Relational Engine |
196
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
188
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
207
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
179
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
188
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...