846 search results - page 107 / 170 » The Use of Z |
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
— Sakurai-Newton (SN) delay metric [1] is a widely used closed form delay metric for CMOS gates because of simplicity and reasonable accuracy. Nevertheless it can be shown that t...
HAPTICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Interest in the use of tactile information displays has grown rapidly in recent years. However, relatively little research has been conducted to explore any cognitive and/or atten...
ACNS
2005
Springer
14 years 2 months ago
2005
Springer
Amongst provably secure signature schemes, two distinct classes are of particular interest: the ones with tight reduction (e.g., RSA-PSS), and those which support the use of coupon...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
AOSE
2004
Springer
14 years 2 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...