101 search results - page 17 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
139
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
167
Voted
CAIP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
135
Voted
AIME
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
122
Voted
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
159
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...