7640 search results - page 172 / 1528 » Event Database Processing |
110
click to vote
IWPC
2003
IEEE
15 years 8 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...
108
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
138
click to vote
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
An important task in exploration of data about phenomena and processes that develop over time is detection of significant changes that happened to the studied phenomenon. Our rese...
158
click to vote
NFM
2011
14 years 10 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...
122
click to vote
COMAD
2009
15 years 4 months ago
2009
Active rules model and enforce enterprise requirements such as situation monitoring using events, conditions and actions. These rules are termed active rules as they make the unde...