Proof: A Novel DHT-Based Peer-to-Peer Search Engine.
Kai-Hsiang YangJan-Ming HoPublished in: IEICE Trans. Commun. (2007)
Keyphrases
- peer to peer
- search engine
- resource discovery
- peer to peer networks
- load balancing
- information discovery
- web search engines
- client server
- web search
- data sharing
- distributed environment
- overlay network
- peer to peer systems
- ad hoc networks
- grid computing
- fully distributed
- keywords
- web pages
- theorem prover
- file sharing
- video streaming
- retrieval systems
- user queries
- search queries
- linear logic
- mathematical proofs
- search result
- distributed computing
- theorem proving
- query logs
- information retrieval
- database
- spatio temporal