102 search results - page 14 / 21 » Automated Dependability Analysis of UML Designs |
114
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
112
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
115
Voted
VOTEID
2007
Springer
15 years 6 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Statistical behavior of device leakage and threshold voltage shows a strong width dependency under microscopic random dopant fluctuation. Leakage estimation using the conventional...
88
Voted
TARK
1998
Springer
15 years 4 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...