2223 search results - page 133 / 445 » Events in Property Patterns |
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
VIS
2006
IEEE
15 years 11 months ago
2006
IEEE
Simulation of rupture fault displacement during a tsunamigenic earthquake event is vital to understanding the subsequent wave propagation. We have developed a new approach which i...
KDD
1998
ACM
15 years 2 months ago
1998
ACM
This paper presents the PLANMINE sequence mining algorithm to extract patterns of events that predict failures in databases of plan executions. New techniques were needed because ...
SC
2000
ACM
15 years 1 months ago
2000
ACM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...