Self-Checking software in distributed systems.
Jean-Michel AyacheJean-Pierre CourtiatMichel DiazPublished in: ICDCS (1982)
Keyphrases
- distributed systems
- software architecture
- fault tolerant
- real time systems
- distributed environment
- load balancing
- message passing
- geographically distributed
- concurrent systems
- fault tolerance
- agent based systems
- distributed computing
- operating system
- software development environments
- software components
- software systems
- software development
- computer systems
- security policies
- source code
- database management systems
- mobile computing
- data availability
- knowledge management
- artificial intelligence
- deadlock detection
- high assurance
- database