Using synchronized atoms to check distributed programs.
Hon Fung LiEslam Al MaghayrehPublished in: ICPADS (2007)
Keyphrases
- answer sets
- distributed systems
- logic programs
- cooperative
- distributed network
- linear combination
- neural network
- communication overhead
- computer programs
- communication cost
- distributed environment
- data structure
- multi agent
- peer to peer
- expert systems
- database systems
- e learning
- loosely coupled
- social networks
- automatic programming
- real time