In this work, we present a domain specific language (DSL) called GDSL (Generic Decoder Specification Language) for specifying maintainable instruction decoders and the translation of instructions to a semantics.
This paper presents a UML package for specifying real-time objects called RT-Object.
We define a logic called Bounded Linear Spatial Temporal Logic (BLSTL) for specifying quantitative spatio-temporal properties against which STML files are automatically evaluated.
jMonitor is a pure Java library and runtime utility for specifying event patterns and associating them with user provided event monitors that get called when the specified runtime events occur during the execution of legacy Java applications.
And in a public letter of apology to the people of Ireland, the pope did not call for, or specify, disciplinary action against any of the many church leaders who covered up an epidemic of abuse there.
This call for BDS specified that "these nonviolent punitive measures" should last until Israel fully complies with international law by 1).
Even now, Svoboda's platform calls for passports to specify the holder's ethnicity, and for government positions to be distributed proportionally to ethnic groups, based on their representation in the population at large.
This calls for a more specified definition of the concept of autonomy that takes frailty and thereby dependency into consideration.
Instead, Levin/McCain calls for an informal agreement specifying that senators come to the floor and speak up if they want to block a bill, though they would not have to keep talking to sustain their objections.
In this usage, individual methods can be called at specified times without the need for explicit Java method calls to the Repast scheduling system.
