9509 search results - page 18 / 1902 » Complex Event Processing |
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
NFM
2011
13 years 3 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
SCW
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
This paper addresses the discovery of activities and learns the underlying processes that govern their occurrences over time in complex surveillance scenes. To this end, we propos...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing techniques perform well on structured processes, but stil...