3384 search results - page 430 / 677 » More Testable Properties |
180
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
178
click to vote
DFT
2005
IEEE
16 years 7 days ago
2005
IEEE
Data flow graph dominant designs, such as communication video and audio applications, are common in today’s IC industry. In these designs, the datapath resources (e.g., adders,...
162
click to vote
HICSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
166
click to vote
ICAS
2005
IEEE
16 years 7 days ago
2005
IEEE
Queue management, bandwidth share, and congestion control are very important to both robustness and fairness of the Internet. In this article, we investigate the problem of provid...
191
click to vote
ICCV
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a new approach to learning image metrics. The main advantage of our method lies in a formulation that requires only a few pairwise examples. Apparently, based on the li...