5843 search results - page 938 / 1169 » Software Security in Practice |
192
Voted
CANDT
2009
15 years 10 months ago
2009
The under-representation of women in computer and information science (CIS) has created a crisis in availability of qualified CIS professionals and diversity of perspectives. Many...
153
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
153
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
168
Voted
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
173
Voted
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...