Description and Verification of Dynamic Software Architectures for Distributed Systems.
Hongzhen XuGuosun ZengBo ChenPublished in: J. Softw. (2010)
Keyphrases
- distributed systems
- software architecture
- concurrent systems
- fault tolerance
- fault tolerant
- load balancing
- distributed environment
- geographically distributed
- data replication
- distributed database systems
- distributed computing
- high level
- dynamic environments
- mobile agents
- real time systems
- functional requirements
- embedded software
- high assurance
- design patterns
- operating system
- deadlock detection
- security policies
- data management
- real world
- database