For describing safe behaviour, several invariants are specified over the composite object types.
Furthermore, original RPT has been specified over the years by several different sets of axioms for different modeling purposes.
In this paper we introduce and study the problem of computing optimal lottery schemes in the case in which a weight function is specified over the domain set.
The aggregate utility function for the region is specified over per capita private household consumption, per capita government spending and per capita savings.
The communication protocol used between two service components is specified over the SCA "binding" element, which implies that the service component's communication infrastructure is separated from the business logic implementation, enhancing the service component's reusability.
The names of the sequences are specified over and under the lines.
The probabilities defining the transitions between each of these states are specified over a single cycle of the model [ 24].
This paper presents a method for specifying reconfigurations or transformations over the topology of the architecture style, being sure that if the transformation can be specified, then its application over the system will be consistent with respect to the expected architecture style configuration.
That can all be specified.
In 11 answers, it was specified that "over time," "living being or species" (15 cases), but also "Earth, organs, human beings, environment etc".
