2106 search results - page 37 / 422 » Operational Semantics for MSC'96 |
151
click to vote
ECEASST
2008
15 years 2 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
117
click to vote
ENTCS
2007
15 years 1 months ago
2007
Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...
143
click to vote
ECMDAFA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
AAAI
1994
15 years 3 months ago
1994
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...
112
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...