372 search results - page 1 / 75 » From Data to Events: Checking Properties on the Control of a... |
MEMOCODE
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
FMCAD
2006
Springer
13 years 8 months ago
2006
Springer
ENTCS
2006
13 years 4 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
RV
2007
Springer
13 years 10 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
INTELLCOMM
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Today, event logs contain vast amounts of data that can easily overwhelm a human. Therefore, the mining of frequent patterns from event logs is an important system and ne...