872 search results - page 83 / 175 » UML-based design test generation |
163
click to vote
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
161
click to vote
TCAD
2010
14 years 10 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
153
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
156
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
119
click to vote
IWIA
2006
IEEE
15 years 10 months ago
2006
IEEE
The recent outbreaks of extremely fast spreading worms highlight the inadequacy of the current patching approach. Intrusion prevention systems (IPSs) that automatically generate a...