Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.
Muffy CalderMichele SevegnaniPublished in: IFM (2012)
Keyphrases
- event driven
- network management
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- temporal logic
- grid workflow
- distributed systems
- formal specification
- computer networks
- network traffic
- mobile agents
- wireless communication
- security policies
- wireless networks
- mobile devices
- petri net
- network monitoring
- ip networks
- real time
- wifi
- anomaly detection
- communication protocols
- mobile networks
- mobile users
- network devices
- artificial intelligence
- markup language
- software agents
- access control
- web services composition
- response time
- software engineering
- database