942 search results - page 109 / 189 » Process Algebraic Non-product-forms |
125
click to vote
ICDCSW
2007
IEEE
15 years 9 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...
121
click to vote
FSTTCS
2003
Springer
15 years 8 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...
205
click to vote
ICDE
1999
IEEE
16 years 4 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...
118
click to vote
LICS
2002
IEEE
15 years 8 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...
105
click to vote
SPAA
1990
ACM
15 years 7 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...