7080 search results - page 503 / 1416 » Designing High Integrity Systems Using Aspects |
143
click to vote
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
160
click to vote
DGO
2007
15 years 6 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
112
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We present a new methodology which takes into consideration the effect of Within-Die (WID) process variations on a low-voltage parallel system. We show that in the presence of pro...
128
click to vote
TIM
2010
14 years 11 months ago
2010
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
141
click to vote
FPGA
2010
ACM
16 years 1 months ago
2010
ACM
Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...