6581 search results - page 152 / 1317 » Formalizing Design Patterns |
142
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
128
Voted
RAID
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
108
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
114
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
119
click to vote
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...