6978 search results - page 350 / 1396 » On Proofs in System P |
210
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
Peers in peer-to-peer file-sharing systems cannot effectively share their files if they are poorly described. Terms one user employs to describe an instance of a file may not be t...
159
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
In most peer-to-peer systems, edge resources self-organize into overlay networks. At the core of Freenet-style peer-to-peer systems are insert and request algorithms that dynamica...
183
click to vote
DISCO
1993
15 years 11 months ago
1993
The fastest known algorithms in classical algebra make use of signature functions. That is, reducing computation with formulae to computing with the integers modulo p, by substitut...
181
click to vote
PERVASIVE
2010
Springer
16 years 1 months ago
2010
Springer
Activity and context recognition in pervasive and wearable computing ought to continuously adapt to changes typical of open-ended scenarios, such as changing users, sensor characte...
171
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
WAND is a meta-data management system that provides a file-system tree for users of an internet based P2P network. The tree is robust and retains its structure even when nodes (pe...