Sentence examples for suitable specification from inspiring English sources

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

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.

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.

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.

Nevertheless, reliable numerical tools are required to meet the challenges posed with respect to dimensionality and model complexity, including the open problem of determining disturbance models and suitable specification models.

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.

In particular, this will enable us to control the long term temporal behavior of the temperature u by imposing suitable specifications on the thermostat device through an appropriate choice of the coefficients involved in the definition of (-Phi F).

To address this issue, the Italian legislators have conducted a process of reconstructing the assumptions adopted for the definition of magic numbers in other International codes (i.e., British Standard 9999) in order to identify suitable specifications for the national context under consideration.

Refactoring strategies are defined as heuristic-based, automation-suitable specifications of complex behavior-preserving software transformations aimed at a certain goal e.g. removing design smells.

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.