Model-Based Failure Management for Distributed Reactive Systems.
Vina ErmaganIngolf KrügerMassimiliano MenariniPublished in: Monterey Workshop (2006)
Keyphrases
- reactive systems
- distributed systems
- configuration management
- management system
- model checking
- distributed environment
- information systems
- multi agent
- dynamically created
- data management
- data processing
- information flow
- computer networks
- test set
- control flow
- temporal logic
- business process
- data mining
- intrusion detection
- knowledge management
- artificial intelligence