1860 search results - page 209 / 372 » A Temporal Logic of Robustness |
107
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
ISQED
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
127
Voted
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
132
click to vote
ENC
2004
IEEE
15 years 5 months ago
2004
IEEE
A method to induce bayesian networks from data to overcome some limitations of other learning algorithms is proposed. One of the main features of this method is a metric to evalua...
143
click to vote
TCSV
2008
15 years 1 months ago
2008
Congestion control of a variable bit-rate video stream crossing the Internet is crucial to ensuring the quality of the received video. When a fuzzy-logic congestion controller (FL...