2108 search results - page 254 / 422 » An Operational Semantics for Stateflow |
146
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
119
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
115
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
130
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
154
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...