1833 search results - page 203 / 367 » Mechanized Verification with Sharing |
162
click to vote
MIDDLEWARE
2005
Springer
16 years 4 hour ago
2005
Springer
Cooperative peer-to-peer (p2p) applications are designed to share the resources of participating computers for the common good of all users. However, users do not necessarily have ...
165
click to vote
HSNMC
2004
Springer
15 years 12 months ago
2004
Springer
Decentralized and unstructured peer-to-peer (P2P) networks such as Gnutella are attractive for large-scale information retrieval and search systems due to scalability, fault-tolera...
134
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
We have designed and implemented a desktop sharing system based on P2P (peer-to-peer) techniques, named “comDesk,” which enables users to exchange the desktop images as well as...
145
click to vote
WEBI
2004
Springer
15 years 12 months ago
2004
Springer
— Distributed data mining has recently caught a lot of attention as there are many cases where pooling distributed data for mining is probibited, due to either huge data volume o...
185
click to vote
EUROSEC
2010
ACM
15 years 11 months ago
2010
ACM
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...