1963 search results - page 321 / 393 » How is aliasing used in systems software |
130
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
How can Alice trust computation occurring at Bob's computer? Since it exists and is becoming ubiquitous, the current-generation TCPA/TCG hardware might enable a solution. Whe...
122
click to vote
IWMM
2000
Springer
15 years 9 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
161
click to vote
CAD
2006
Springer
15 years 5 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
187
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
CRYPTONITE is a programmable processor tailored to the needs of crypto algorithms. The design of CRYPTONITE was based on an in-depth application analysis in which standard crypto ...
174
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...