1833 search results - page 145 / 367 » Mechanized Verification with Sharing |
146
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-peer grids aim to build computational grids encompassing thousands of sites. To achieve this scale, such systems cannot rely on trust or off-line negotiations among partic...
130
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Social networking sites (SNS) are only as good as the content their users share. Therefore, designers of SNS seek to improve the overall user experience by encouraging members to ...
154
click to vote
TPDS
2008
15 years 4 months ago
2008
Consistency maintenance is important to the sharing of dynamic contents in peer-to-peer (P2P) networks. The TTL-based mechanism is a natural choice for maintaining freshness in P2P...
132
click to vote
IEEECIT
2009
IEEE
15 years 11 months ago
2009
IEEE
—With virtual machine technology, distributed services deployed in multiple cooperative virtual machines, such as multi-tier web services, may reside on one physical machine. Thi...
171
click to vote
TSP
2008
15 years 3 months ago
2008
A new hierarchical nonparametric Bayesian framework is proposed for the problem of multi-task learning (MTL) with sequential data. The models for multiple tasks, each characterize...