Sentence examples for enforces the specification from inspiring English sources

AO-ADL, then, enforces the specification of crosscutting concerns as separate architectural templates, which can be later instantiated and integrated with the core functionality of the system being developed.

The problem, it appears, is that no one enforced the specifications.

After deletion of a reaction, feasibility of the protected functions (condition (c)), of protected reactions (if enforced in the specification of (b)) and of protected metabolites (at least one reaction that contains the protected metabolite must be feasible) is tested.

The proposed algorithm is based on estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification.

Finally, the proposed QoSatAr design allows to enforce the QoS specifications when an extreme reduction of bandwidth occurs in the satellite system.

In the second step, we construct an abstraction of the hybrid zero dynamics that is used to synthesize a controller enforcing the desired specifications to be satisfied on the full order model.

This paper presents Jano, a generic multi-technology Location Service, supporting the specification and capable of enforcing flexible declarative privacy policies on the location of persons or objects.

The policies enforcing the access to location information, and the conditions used in the specification of push requests are made through an extension of SPL, a multi-model authorization platform.

Enforcing the presence of these elements does not assure better use of the specification and that data is indeed provided.

The feature of enforcing the use of input parameters aims at improving the adherence of the final solution to the specification and find solutions closer to the ones a human developer would build.

In this paper we deal with the problem of designing a supervisory controller that enforces certain specifications on the marking of a Colored Petri net (CPN).