1318 search results - page 76 / 264 » The formal semantics of the timeER model |
118
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
105
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
115
click to vote
ECOOPW
1997
Springer
15 years 6 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
138
click to vote
DLOG
2007
15 years 4 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
156
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...