33 search results - page 7 / 7 » Conflict Detection in Call Control Using First-Order Logic M... |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
ATS
2004
IEEE
13 years 8 months ago
2004
IEEE
Logical reversibility occurs in low-power applications and is an essential feature of quantum circuits. Of special interest are reversible circuits constructed from a class of rev...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...