90 search results - page 16 / 18 » A Basis for Formal Robustness Checking |
97
Voted
AIIA
2003
Springer
15 years 4 months ago
2003
Springer
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...
72
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...
131
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
121
Voted
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
132
click to vote
ICCTA
2007
IEEE
15 years 4 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...