discusses how to determine the optimal combination of black-box testing, white-box (structural) testing, and formal methods in V&V of a software system. Finally, a demonstration of how this utility model can be used in practice is offered using a case study.from a NASA software systems.

and test work. Basic design rules are given and illustrated by examples of flanges, valves, and other components used in the applications mentioned above. Vacuum testing methods are discussed. The charcoal-Pirani technique of testing is favoured for most applications; tests can be carried out on components

We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design and evaluates several character extraction methods. Automatic text recognition from natural images receives a growing

credit in their psychology or human development courses for taking part in the study. Procedure. In what was advertised as a taste-testing experiment, an experimenter explained that participants would predict taste sensations for two beverages, consume only one beverage, and describe their actual taste

. The possibilities of applying the techniques of spin-polarized atomic hydrogen (Hi) to provide polarized protons for application in particle and nuclear physics were recognized soon after the creation of spin-polarized hydrogen /1,2/. The basic science of Hi has been described in a recent review article /3

Abstract: In this paper, we provide objective measures to evaluate compression methods for machine recognition applications. Vidware Vision, a black box compression method developed by Vidware Incorporated, is used in the case and its performance is compared to existing compression methods, i.e., l

Abstract Spectroscopy of antihydrogen has the potential to yield high-precision tests of the CPT theorem and shed light on the matter-antimatter imbalance in the Universe. The ALPHA antihydrogen trap at CERN's Antiproton Decelerator aims to prepare a sample of antihydrogen atoms confined

of design rules for this special type of atomizer will be presented in this paper. In the first part of the text, the setup of an atmospheric Mg rig is described and both atomizer concepts are discussed. The test rig allows the optional use of a prefilming airblast atomizer or an air assisted pressure swirl

from a different thread” are under-studied. These concurrency typestate bugs are important yet challenging to study since they are mostly relevant to high-level program semantics. This paper presents 2ndStrike, a method to manifest hidden concurrency typestate bugs in software testing. Given a state

toward the determination of Cd at the lowest possible levels in complex matrixes. In 1999, Rucandio and Petit (9) described a new method for the determination of Cd by graphite furnace atomic absorption spectrometry (GFAAS). Among several types of matrix modifier tested, a mixture of 2% (w/v) NH 4 H 2 PO