Sentence examples for a suitable specification from inspiring English sources

A suitable specification of utilities achieves partition invariance given his assumptions.

A major drawback is the lack of a suitable specification language against which definitive and efficient verification of inter-core communication can be performed to prove compliance of an IP block against the protocol specification.

In this paper, we show that this knowledge could be exploited in the context of an on-line hazard-directed monitoring scheme in which a suitable specification derived from design models and safety analyses forms a reference monitoring model.

If a suitable performance specification is available, it is necessary to establish that the new test meets this specification within the laboratory; this process is called verification.

By means of a suitable framework, specification and verification tasks can be reduced to the selection, parametrization and combination of framework elements resulting in a substantial support which opens formal analysis even for real-sized problems.

The level of testing required is dependent on the availability of a suitable performance specification.

Using this method, the general guidelines for important model choice issues such as choosing an appropriate response distribution and determining a suitable predictor specification can be obtained based on quantile residuals, the deviance information criterion and proper scoring rules.

Whether this is achieved by performing analytical validation or verification depends on the existence of a suitable performance specification that details the expected accuracy of the test under given conditions.

Other applications of verification may include a new test being implemented using a technology that is already well established in a laboratory (eg, a sequencing assay for a new gene), or a test for which a suitable performance specification is available from another laboratory in which the test has already been validated.

Our tool provides not only an efficient LTLR model checking algorithm under parameterized fairness assumptions but also suitable specification languages as part of its user interface.

The results suggest that the most suitable specification reflects the way the attribute levels are presented to respondents, either in terms of deviations or absolute values.