1833 search results - page 99 / 367 » Mechanized Verification with Sharing |
162
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
144
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
112
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Cooperation among bidders in traditional auctions is generally forbidden because it is harmful to the interests of sellers. However, in a new type of online auction, the group-buy...
141
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
Both commercial and scientific workloads benefit from concurrency and exhibit data sharing across threads/processes. The resulting sharing patterns are often fine-grain, with t...
131
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—We study a new application of threshold-based secret sharing in a distributed online social network (DOSN), where users need a means to back up and recover their private keys in...