6045 search results - page 8 / 1209 » Computable Linearizations of Well-partial-orderings |
134
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
162
click to vote
IACR
2011
14 years 3 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...
119
Voted
WAW
2004
Springer
15 years 9 months ago
2004
Springer
ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa
99
Voted
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
