1746 search results - page 212 / 350 » A Constructive Semantics for ALC |
112
Voted
ESEC
1997
Springer
15 years 5 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
102
Voted
APN
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
113
Voted
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
112
Voted
APCSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...