4806 search results - page 338 / 962 » Interactive uncertainty analysis |
183
click to vote
ISSRE
2005
IEEE
16 years 10 days ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
192
Voted
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
Analysis of degenerate tensors is a fundamental step in finding the topological structures and separatrices in tensor fields. Previous work in this area have been limited to ana...
150
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
175
click to vote
CHES
2000
Springer
15 years 11 months ago
2000
Springer
Power analysis is a very successful cryptanalytic technique which extracts secret information from smart cards by analysing the power consumed during the execution of their interna...
174
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...