2935 search results - page 66 / 587 » An Integrated Approach to High Integrity Software Verificati... |
139
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Real-word applications often involve a binary hypothesis testing problem with one of the two hypotheses ill-defined and hard to be characterized precisely by a single measure. In ...
108
click to vote
SPLC
2008
15 years 5 months ago
2008
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
129
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
130
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
115
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...