182 search results - page 30 / 37 » Enforcing Robust Declassification |
CP
2003
Springer
14 years 20 days ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...
COOPIS
2002
IEEE
14 years 12 days ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
CCS
1994
ACM
13 years 11 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
FIMH
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...