Testing abstract distributed programs and their implementations: A constraint-based approach.
Richard H. CarverPublished in: J. Syst. Softw. (1996)
Keyphrases
- distributed systems
- cooperative
- distributed learning
- computer programs
- lightweight
- multi agent
- higher level
- symbolic execution
- intermediate level
- answer sets
- data sets
- database systems
- efficient implementation
- automatic programming
- neural network
- data mining
- distributed processing
- learning algorithm
- distributed computing
- search engine
- computing environments
- reinforcement learning
- fault tolerant
- computer networks
- mobile agents
- information systems
- real time
- peer to peer
- programming language
- relational databases