1318 search results - page 76 / 264 » The formal semantics of the timeER model |
165
click to vote
CONCUR
2007
Springer
16 years 11 days 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...
146
click to vote
WWW
2003
ACM
16 years 6 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...
159
click to vote
ECOOPW
1997
Springer
15 years 10 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...
194
click to vote
DLOG
2007
15 years 8 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 ...
215
click to vote
APSEC
2007
IEEE
16 years 16 days 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...