Sentence examples for framework of focus from inspiring English sources

In this paper we show how to formally define security properties in the framework of Focus, a general approach for the specification and verification of reactive systems.

More broadly, the basic framework of focusing on both cue similarity and generalized/specialized use of cues can help us understand variation in adoption of any novel potential resource – good or bad.

The ability of the NI framework to focus on topics of environmental concern was demonstrated through four thematic indexes, i.e., top predators, freshwater acidification, environmental quality in the Oslo fjord, and trophic groups in pelagic ecosystems (Text S4).

There were altogether 22 items and questionnaire design was based on theoretical framework of Health Belief Model focusing on perception of severity, susceptibility, barriers and benefits [ 20], the Theory of Reasoned Action focusing on attitudes and social norm [ 21], and social cognitive theory focusing on external determinants of behaviors apart from attitudes, values and belief [ 22].

We study the radial dependence of peak intensities and fluences of solar energetic particle (SEP) events in the framework of the focused transport theory.

Sociocultural theory is a theoretical foundation for a pedagogy of connection which consists of a framework for focusing on the contexts of connection and tools for making connections.

Like "Star Trek," individual episodes worked within a framework of an established focus and utilized various aspects of the science-fiction genre.

The indices were calculated according to the approach introduced by [23] and adopted in the framework of the Forest Focus Programme for the calculation of C pools in the forests in the federal state Baden-Württemberg [24].

Hence, within the framework of the Forest Focus regulation, the aim of this investigation was to statistically analyse factors influencing the C fixation and to use the corresponding associations in terms of a predictive mapping approach at the regional scale by example of the German federal state North Rhine-Westphalia.

A laboratory scale plant has been designed for this purpose in the framework of research activities focused on hybrid systems.

The seismic behavior of such walls is investigated in the framework of the study focussing on seismic evaluation of existing buildings.