797 search results - page 3 / 160 » Observing Success in the Pi-Calculus |
CSFW
2006
IEEE
14 years 2 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...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
FOSSACS
2005
Springer
14 years 2 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...
CORR
2010
Springer
13 years 8 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...
WWW
2011
ACM
13 years 3 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...