Scalable offline monitoring of temporal specifications.
David A. BasinGermano CaronniSarah ErethMatús HarvanFelix KlaedtkeHeiko MantelPublished in: Formal Methods Syst. Des. (2016)
Keyphrases
- real time
- monitoring system
- spatial and temporal
- temporal reasoning
- temporal data
- temporal information
- decision support
- temporal constraints
- highly scalable
- spatio temporal
- web scale
- delay insensitive
- temporal ordering
- early warning
- temporal relations
- temporal databases
- data acquisition
- temporal evolution
- temporal relationships
- temporal dimension
- temporal consistency
- data mining
- neural network