8828 search results - page 1541 / 1766 » Formal methods in practice |
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
128
click to vote
EOR
2008
15 years 4 months ago
2008
Abstract. Many hospitals in the Netherlands are confronted with capacity problems at their Intensive Care Units (ICUs) resulting in cancelling operations, overloading the staff wit...
114
click to vote
CACM
2006
15 years 4 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
144
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
A commonly used type of search tree is the alphabetic binary tree, which uses (without loss of generality) "less than" versus "greater than or equal to" tests ...
129
click to vote
IIE
2008
15 years 4 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...