2303 search results - page 73 / 461 » The Cryptographic Abstract Machine |
146
click to vote
PST
2004
15 years 7 months ago
2004
Abstract-- The United Kingdom (UK) government has repeatedly expressed a desire to employ a Remote Electronic Voting (REV) system in a general election after 2006. Most existing RE...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
194
click to vote
TCS
2010
15 years 26 days ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
164
click to vote
ASM
2005
ASM
15 years 11 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...
178
click to vote
MSCS
2010
15 years 4 months ago
2010
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...