Peer-To-Peer Trading Databases Verification and Rectification.
Pintsang ChangPublished in: SEKE (2005)
Keyphrases
- databases
- peer to peer
- database
- relational databases
- model checking
- information systems
- electronic commerce
- file sharing
- database applications
- overlay network
- trading systems
- peer to peer systems
- formal verification
- peer to peer networks
- grid computing
- database queries
- stereo images
- load balancing
- data integration
- data management
- data model