2137 search results - page 29 / 428 » Proving Abstract Non-interference |
143
click to vote
DLT
2009
15 years 3 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
168
click to vote
DMTCS
2010
15 years 3 months ago
2010
Abstract. For 3 different versions of q-tangent resp. q-cotangent functions, we compute the continued fraction expansion explicitly, by guessing the relative quantities and proving...
136
click to vote
FFA
2011
15 years 28 days ago
2011
ABSTRACT. We prove the rationality of the generating function associated to the number of equivalence classes of Fqk -points of a constructible equivalence relation defined over t...
161
click to vote
IFIP
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
149
click to vote
SIAMMAX
2010
15 years 20 days ago
2010
Abstract. We perform a smoothed analysis of the condition number of rectangular matrices. We prove that, asymptotically, the expected value of this condition number depends only of...