A Stream-Based Specification Language for Network Monitoring.
Peter FaymonvilleBernd FinkbeinerSebastian SchirmerHazem TorfahPublished in: RV (2016)
Keyphrases
- specification language
- network monitoring
- streaming data
- data streams
- programming language
- formal specification
- sliding window
- description language
- network traffic
- network management
- concept drift
- monitoring system
- ip networks
- computer networks
- distributed systems
- anomaly detection
- data mining
- data distribution
- network security
- software architecture
- databases
- query processing