1833 search results - page 227 / 367 » Mechanized Verification with Sharing |
158
click to vote
KBS
2002
15 years 6 months ago
2002
Cognitive cooperation is often neglected in current team software development processes. This issue becomes more important than ever when team members are globally distributed. Th...
187
click to vote
NGC
2002
Springer
15 years 6 months ago
2002
Springer
Congestion control protocols rely on receivers to support fair bandwidth sharing. However, a receiver has incentives to elicit self-beneficial bandwidth allocations and hence may ...
179
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. In this paper, we examine a trust-based framework for promoting honesty in e-marketplaces that relies on buyers forming social networks to share reputation ratings of sel...
178
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
Large-scale distributed applications are becoming more and more demanding in terms of efficiency and flexibility of the technological infrastructure, for which traditional soluti...
161
click to vote
IPAW
2010
15 years 4 months ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...