4850 search results - page 291 / 970 » Proof and Computation in Geometry |
151
click to vote
ESORICS
2010
Springer
15 years 7 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...
158
click to vote
CF
2004
ACM
16 years 4 days ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...
171
click to vote
JUCS
2010
15 years 1 months ago
2010
: We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent ...
207
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
208
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...