2984 search results - page 311 / 597 » Method engineering process patterns |
128
Voted
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
107
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Maintaining an asset with life-limited parts, e.g., a jet engine or an electric generator, may be costly. Certain costs, e.g., setup cost, can be shared if some parts of the asset ...
129
Voted
SACMAT
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...
153
Voted
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
151
Voted
LSO
2004
Springer
15 years 8 months ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...