781 search results - page 94 / 157 » Automatic Formal Model Generation and Analysis of SDL |
107
click to vote
HAIS
2009
Springer
15 years 4 months ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
102
click to vote
PRDC
2006
IEEE
15 years 5 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
CSL
2000
Springer
14 years 11 months ago
2000
Springer
Conversational speech exhibits considerable pronunciation variability, which has been shown to have a detrimental effect on the accuracy of automatic speech recognition. There hav...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
112
click to vote
ENVSOFT
2006
14 years 12 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...