372 search results - page 15 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
ISQED
2007
IEEE
15 years 3 months ago
2007
IEEE
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
ICAC
2007
IEEE
15 years 3 months ago
2007
IEEE
— The multi-tier implementation has become the industry standard for developing scalable client-server enterprise applications. Since these applications are performance sensitive...
FC
1997
Springer
15 years 1 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
ICISC
2001
14 years 11 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...