Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.
Julien DormoyOlga KouchnarenkoArnaud LanoixPublished in: FACS (2011)
Keyphrases
- temporal patterns
- temporal information
- temporal pattern mining
- temporal data
- temporal constraints
- temporal dependencies
- time stamped
- pattern discovery
- model checking
- multivariate time series
- event sequences
- domain knowledge
- data sets
- frequent patterns
- data mining techniques
- temporal relationships
- website
- temporal data mining
- search engine