Sentence examples for modelling formalism that from inspiring English sources

We propose a new modelling formalism that includes parameter dependencies into software component reliability specifications.

We propose a novel and efficient modeling formalism that does not increase the size of the graph model used in Cavbase, but leads to graphs containing considerably more information assigned to the nodes, due to the introduction of additional descriptors which consider local surface characteristics.

In this study, we propose an extended modeling formalism that leads to graphs of the same size, but containing considerably more information.

An important aim of computational synthetic biology is the development of a mathematical modeling formalism that is applicable to a wide variety of simple synthetic biological constructs.

It is important to note that for simplicity we chose a generic model formalism that does not obey mass-action.

A modeling formalism that supports hierarchical models and different levels of abstraction will cope with models that connect vertical organization layers using top-down, bottom-up or middle-out approaches (Noble 2002).

Petri nets are a modeling formalism that has been used to model different types of biological networks [ 34- 40].

Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additional predicates for accommodating design data.

The types of modeling formalism depend on such characteristics [11].

Discrete event system specification (DEVS) is a modeling and simulation formalism that has been widely used to study the dynamics of discrete event systems.

Another advantage is the expressiveness of the Event-B formalism that allows modelling fine-grained policies.