Sentence examples for verification in various from inspiring English sources

Although our approach to conformity verification was only evaluated with the cadastral models, it can be used for conformity verification in various applications domains due to its generality.

Verification, in various stages of such ASIP development, is a major bottleneck hindering widespread acceptance of ADL-based processor design approach.

e-Governance standards: The Government of India has established biometric standards for identification and verification in various e-Governance applications [103].

3. e-Governance standards: The Government of India has established biometric standards for identification and verification in various e-Governance applications [103].

Owing to the simplicity of the model and the verification of its value in various empirical studies, the TAM has become widely used in studies on the acceptance of a wide array of information technologies.

This special form of abstraction was introduced by Graf and Saidi in (Graf & Saidi 1997) for constructing a finite state abstraction from a large or an infinite system using a finite set of predicates and this abstraction has been used in various verification tools to analyze software, hardware, and high-level protocols (see e.g. (Das 2003)).

The verification of modelled interlocking tables in various scenarios is presented in [37].

Conceptual modality-switch effects have been found in various property-verification studies (e.g., Marques, 2006; Pecher, Zeelenberg, & Barsalou, 2003; Pecher, Van Dantzig, & Schifferstein, 2009; Vermeulen, Corneille & Niedenthal, 2008).

KAT has been applied successfully in various low-level verification tasks involving communication protocols, basic safety analysis, source-to-source program transformation, concurrency control, compiler optimization, and static analysis.

M&V (Measurement and Verification) has become an indispensable process in various incentive EEDSM (energy efficiency and demand side management) programmes to accurately and reliably measure and verify the project performance in terms of energy and/or cost savings.

In turn, the actual run of high education and training as well as the associated recognition, evaluation and verification of degrees and diplomas acquired in various countries is to become more and more a global issue.