1532 search results - page 167 / 307 » An Algebraic Process Calculus |
141
click to vote
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
Complex event processing has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. The goa...
136
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
227
click to vote
ICDE
1999
IEEE
16 years 6 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...
131
click to vote
LICS
2002
IEEE
15 years 9 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...
139
click to vote
CIDR
2009
15 years 5 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...