819 search results - page 84 / 164 » Using Assumptions to Distribute CTL Model Checking |
137
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...
152
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
We investigate asymptotically optimal keyword auctions, that is, auctions which maximize revenue as the number of bidders grows. We do so under two alternative behavioral assumpti...
159
click to vote
IPM
2008
15 years 4 months ago
2008
Authorship analysis of electronic texts assists digital forensics and anti-terror investigation. Author identification can be seen as a single-label multi-class text categorizatio...
131
click to vote
SIGECOM
2010
ACM
15 years 5 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
129
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...