Architecture of an autonomous distributed system and verification of implementation as a logistics information management system.
Nobuhiro KataokaHisao KoizumiH. SimizuPublished in: WORDS (1997)
Keyphrases
- distributed systems
- software architecture
- concurrent systems
- loosely coupled
- layered architecture
- fault tolerant
- distributed environment
- load balancing
- architectural design
- mobile agents
- geographically distributed
- fault tolerance
- message passing
- information management
- hardware architecture
- security policies
- replicated data
- data replication
- hardware implementation
- distributed computing
- distributed database systems
- model checking
- mobile computing
- autonomous systems
- multimedia
- temporal logic
- data model