2776 search results - page 56 / 556 » System-Level Abstraction Semantics |
125
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
104
click to vote
AO
2008
15 years 2 months ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
120
Voted
OTM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
121
Voted
FORTE
2009
15 years 9 days ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
114
Voted
ASM
2005
ASM
15 years 8 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...