220 search results - page 24 / 44 » Verifying a signature architecture: a comparative case study |
PAMI
2007
14 years 11 months ago
2007
—Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the prote...
102
click to vote
TR
2008
14 years 11 months ago
2008
Shared Segment Protection (SSP), compared with Shared Path Protection (SPP), and Shared Link Protection (SLP), provides an optimal protection configuration due to the ability of ma...
189
click to vote
ICFP
2009
ACM
16 years 12 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
112
click to vote
WWW
2005
ACM
16 years 13 days ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...
DAC
2008
ACM
16 years 23 days ago
2008
ACM
An energy optimization is proposed that addresses the nontrivial digital contribution to power and impact on performance in high-speed mixed-signal circuits. Parallel energy and b...