Monitoring of temporal first-order properties with aggregations.
David A. BasinFelix KlaedtkeSrdjan MarinovicEugen ZalinescuPublished in: Formal Methods Syst. Des. (2015)
Keyphrases
- first order logic
- temporal properties
- real time
- monitoring system
- temporal evolution
- structural properties
- temporal reasoning
- temporal information
- temporal databases
- temporal data
- temporal constraints
- higher order
- spatio temporal
- database
- relational databases
- database systems
- knowledge base
- information systems
- early warning
- neural network
- temporal dimension
- data sets
- complex event processing
- temporal behavior
- temporal characteristics