3429 search results - page 426 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
123
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
126
click to vote
CMSB
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
144
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
123
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
134
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...