8398 search results - page 232 / 1680 » Optimal Software Testing |
190
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: As in many different areas of science and technology, most important problems in bioinformatics rely on the proper development and assessment of binary classifiers. A ...
150
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
195
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
197
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we consider a hypothesis testing approach for detection of hiding in the least significant bit (LSB). This steganalysis problem is a composite hypothesis testing pro...
157
click to vote
FUIN
2006
15 years 6 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...