274 search results - page 30 / 55 » Variants of the Event Calculus |
FOSSACS
2004
Springer
14 years 11 days 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...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
BMCBI
2005
13 years 8 months ago
2005
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
ECAI
2006
Springer
14 years 10 days ago
2006
Springer
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...