29082 search results - page 405 / 5817 » The Time-Triggered Model of Computation |
181
click to vote
ACSC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
191
click to vote
CRYPTO
2005
Springer
16 years 10 days ago
2005
Springer
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
154
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
We discuss a number of fundamental areas in which biologically inspired computing has so far failed to mirror biological reality. These failures make it difficult for those who st...
179
Voted
TLCA
2005
Springer
16 years 8 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
188
click to vote
SIGOPSE
2004
ACM
16 years 7 days ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...