Sentence examples for enabling the formal from inspiring English sources
This model, described in [22], has the great advantage of enabling the formal verification of static schedulability.
Some other works, like the VeriWS tool [5], also propose using LTS models for enabling the formal verification of a WSC composition.
SoSADL is a language formally founded on π-calculus for SoS, a novel process calculus extended from original π-calculus, conceived for enabling the formal architecture description of software-intensive SoS.
The CDA R2 model is richly expressive, enabling the formal representation of clinical statements (such as observations, medication administrations, and adverse events) such that they can be interpreted and acted upon by a computer.
The ensuing Lagrangian dynamic formulation enables the formal definition of rigid flexible coupled dynamic terms which show clear physical meaning.
In order to enable the formal analysis, these simplification steps are represented as context sensitive graph transformations acting on the structure graphs of the dynamic process models.
Manipulation of the solution equilibria within a cross-coupling milieu enables the formal homologation of aryl and alkenyl boronic acid pinacol esters.
In summary, we have shown that the solution speciation of boronic acids can be chemoselectively controlled to enable the formal homologation of boronic acid pinacol esters.
Research is also needed to map the data elements to formal medical terminologies such as SNOMED-CT as that would enable the formal terminology to act as a standard term to facilitate comparative analysis.
That enabled the conventional formal redox potentials Ni2+/Ni+ and Cr3+/Cr2+ to be calculated from experimental spectra data.
We discuss, however, that the missing dimensions/physics in a hydrologic model may be compensated to some extent by enabling the model with formal hysteretic components and also that the conventional model structure and parametrization may be designed in a way to partially reproduce a desired hysteretic behavior.
