Sentence examples for specifying aspects of from inspiring English sources

By means of an example we show that our approach allows specifying aspects of a distributed system in a Maude-based KLAIM dialect, verifying these specifications using Maude's LTL model checking capabilities, and then executing the verified specifications in a distributed environment.

Step 5 – Specifying aspects of the proposed strategies, control principles and mechanisms.

Specifying aspects of process more explicitly may allow key phenomenology to be modelled more fully in order to develop more effective adjunctive strategies for treating ED psychopathology.

One of the most important and controversial questions about causal perception involves its origin: do we learn to see causality, or does this ability derive in part from innately specified aspects of our cognitive architecture?

Thirdly, our conceptual model sheds light on the complexity of the trust concept, and specifies aspects of trust that are influential in the contexts of risk perception and nuclear choices.

In the last decades, several studies aimed at assessing some specified aspects of visual comfort characterizing the relationship between the human needs and the light environment, such as an available amount of light, light uniformity, light quality in rendering colors, and predicting the risk of glare for space occupants.

Such hypotheses specify aspects of the structural realization of a functional-component model.

After Hurricane Katrina, which killed more than 200 hospital and nursing home residents in 2005, the Office of the Inspector General of the Department of Health and Human Services recommended that federal regulators "specify" aspects of emergency preparedness plans, including how to transport residents to other facilities or hospitals in the event of an evacuation.

Generally, a majority of the GPs in both countries found all the specified aspects of sickness certification problematic.

Of the up-regulated genes, 19 genes are associated with cholesterol biosynthesis and 5 genes specify aspects of fatty acid biosynthesis.

In addition, earmarked financial resources for specified aspects of HRD, as well as for overall programme implementation, gradually increased, thereby facilitating the step-wise process of implementing the plans.