Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks.
Carla CapellmannRalph DemantFarhad Fatahi-VananiRafael Galvez-EstradaUlrich NitschePeter OchsenschlägerPublished in: CAV (1996)
Keyphrases
- model checking
- formal verification
- object detection
- automatic detection
- case study
- detection method
- human computer interaction
- social networks
- smart spaces
- end users
- user interaction
- service providers
- web services
- network resources
- call center
- false positives
- management system
- high level
- detection rate
- false alarms
- heterogeneous networks
- transport network
- detection algorithm
- test bed
- service oriented architecture
- anomaly detection
- reinforcement learning
- network topologies
- hardware designs