8874 search results - page 256 / 1775 » A New Implementation of Automath |
134
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we have implemented and analyzed the performance of a new real coded steady-state genetic algorithm (SSGA) for the flexible ligand-receptor docking problem....
157
click to vote
ECRTS
2003
IEEE
15 years 10 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
134
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Direct Anonymous Attestation (DAA) is an anonymous signature scheme designed for anonymous attestation of a Trusted Platform Module (TPM) while preserving the privacy of the devic...
127
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Norway has started to implement e-voting (over the Internet, and by using voters' own computers) within the next few years. The vulnerability of voter's computers was ide...
128
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...