Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications.
Mohammad MoshirpourAbdolmajid MousaviBehrouz H. FarPublished in: SEKE (2010)
Keyphrases
- emergent behavior
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- fault tolerance
- load balancing
- message passing
- geographically distributed
- mobile agents
- operating system
- loosely coupled
- distributed database systems
- distributed computing
- data management
- real time systems
- high level
- complex systems
- software systems
- multi agent systems
- formal specification
- deadlock detection
- software development environments
- agent based systems
- data replication
- model checking
- vision system
- reinforcement learning