Sentence examples for support the specification from inspiring English sources

A library of objects, such as monomials, posynomials, and generalized posynomials, to support the specification of GPs and GGPs.

To support the specification and verification of real-time systems using timed MSC, we need to define its formal semantics.

Open Service Interface Definitions (OSIDs), in particular the Repository OSID, to more easily integrate learn eXact with various digital repositories of learning content that support the specification.

Examples of each SysML diagram are used to support the specification, design, and analysis, with fundamental SysML language concepts such as the distinction between definition and use.

A Petri net (PN -based aPN -basedssociapproachh object-oriented technique is proposed to support the specificassociatedlysis, and design of digital systems.

We demonstrate the advantages of sorts in various examples, illustrate its use to support the specification of design queries and the recognition of emergent information, and consider sorts in relationship to integrated product models.

Despite their popularity, there is no dedicated language flexible enough to support the specifications of an unbound variety of views including those preexisting and needing to be newly created on demand.

This paper presents a Cloud stack configuration model tackling this challenge by supporting the specification of layer-specific parameters to be taken into account during the utility optimization process.

The language supports the specification of hard real-time systems with reusable components from domain specific component libraries.

MAZE is an extension of the Object-Z specification language supporting the specification and development of multi-agent systems (MAS).

RDL is an object-oriented interface language that supports the specification of resources as objects and their relationships.