1012 search results - page 96 / 203 » Process Algebra with Backtracking |
199
Voted
ICDE
1999
IEEE
16 years 3 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
104
Voted
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
123
click to vote
CIDR
2009
15 years 3 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
121
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
113
click to vote
CONCURRENCY
2006
15 years 2 months ago
2006
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...