3819 search results - page 74 / 764 » Predicting Dependability by Testing |
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
ITNG
2008
IEEE
14 years 2 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
BMCBI
2004
13 years 7 months ago
2004
Background: Subcellular localization of a new protein sequence is very important and fruitful for understanding its function. As the number of new genomes has dramatically increas...
BMCBI
2008
13 years 8 months ago
2008
Background: The prediction of protein-protein binding site can provide structural annotation to the protein interaction data from proteomics studies. This is very important for th...
CASCON
2006
13 years 9 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...