252 search results - page 28 / 51 » Sensitivity Analysis of Software Reliability for Component-B... |
125
click to vote
COMPLIFE
2006
Springer
15 years 3 months ago
2006
Springer
Background: The computer-assisted detection of small molecules by mass spectrometry in biological samples provides a snapshot of thousands of peptides, protein fragments and prote...
101
click to vote
WWW
2009
ACM
16 years 13 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
117
click to vote
CCE
2011
14 years 6 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
105
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...