797 search results - page 3 / 160 » Observing Success in the Pi-Calculus |
136
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
113
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
148
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
116
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the classical compress-and-forward relay scheme developed by (Cover and El Gamal, 1979), the decoding process operates in a successive way: the destination first decodes the co...
150
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Online peer-to-peer (P2P) lending services are a new type of social platform that enables individuals borrow and lend money directly from one to another. In this paper, we study t...