897 search results - page 39 / 180 » Reuse, Validation and Verification of System Development Pro... |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
FMCAD
2007
Springer
14 years 23 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
WSC
2008
13 years 11 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...