Sentence examples similar to higher level specifications from inspiring English sources

The main contribution of the Stochastic Simulation Compiler (SSC) that we present here lies in combining a higher level specification required for modeling larger systems with the ability to model spatially heterogeneous systems.

As a modeling device, it supports producing high level specifications of existing or to-be-developed applications.

In order to be able to define high level specifications, we need to map changes in the level of protein activity to a certain cell fate.

In [8], we provided a logic for digital investigation of security incidents and its high level specification language.

We propose an approach where aspects and objects rely on coordination provided by a common high level specification.

In [72], the same authors relate the theory of contracts with the notion of choreography conformance, used to check whether an aggregation of services correctly behaves according to a high level specification of their possible conversations based on input- and output actions.

The first high level specification (H1) defines the wild type state, and can be split into two parts: Cell1 is proliferating (H1.1), and Cell4 5 are differentiated (H1.2).

Thus, shorter time-to-market requires automation of the system synthesis from high-level specifications.

In the initial stages, the organization and the collaborative tasks are modeled using high-level specifications.

That is to say, semantically described services would be able to compose with each other from high-level specifications.

The discrete controller (or supervisor) is designed based on the abstracted (or approximated) system and high-level specifications.