Verification of Distributed Hierarchical Components.
Tomás BarrosLudovic HenrioEric MadelainePublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- distributed systems
- distributed environment
- cooperative
- hierarchical architecture
- multi agent
- query decomposition
- peer to peer
- distributed processing
- loosely coupled
- distributed computing
- real time
- database systems
- information systems
- reinforcement learning
- coarse to fine
- web services
- communication overhead
- asynchronous circuits
- information retrieval
- databases