271 search results - page 14 / 55 » A New Electronic Cash Model |
BIBM
2007
IEEE
14 years 1 months ago
2007
IEEE
An important problem in high-throughput protein crystallography is constructing a protein model from an electron-density map. Previous work by some of this paper’s authors [1] d...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
EH
2000
IEEE
13 years 11 months ago
2000
IEEE
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...