6978 search results - page 42 / 1396 » On Proofs in System P |
AOIS
2003
13 years 11 months ago
2003
We are developing an approach for P2P information systems, where the peers are modeled as autonomous agents. Agents provide services or give referrals to one another to help find...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we propose a conceptual architecture for a personal semantic Web information retrieval system. It incorporates semantic Web, Web service, P2P and multi-agent technol...
WINE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We study the interaction between network effects and external incentives on file sharing behavior in Peerto-Peer (P2P) networks. Many current or envisioned P2P networks r...
P2P
2008
IEEE
14 years 4 months ago
2008
IEEE
IgorFs is a distributed, decentralized peer-to-peer (P2P) file system that is completely transparent to the user. It is built on top of the Igor peer-to-peer overlay network, whi...
ICA3PP
2007
Springer
14 years 3 months ago
2007
Springer
We propose a source peer selection algorithm which efficiently chooses peers as sources from a set of peers having the requested file in a hybrid P2P file sharing system. Our propo...