Keyphrases
- cooperative
- distributed systems
- functional verification
- safety critical
- databases
- distributed environment
- decision trees
- safety analysis
- distributed architecture
- formal methods
- computer networks
- artificial intelligence
- fault tolerant
- autonomous mobile
- multi agent
- mobile agents
- communication overhead
- functional properties
- distributed learning
- database
- distributed databases
- functional analysis
- neural network
- distributed processing
- peer to peer
- face verification
- communication cost
- computing environments