1746 search results - page 233 / 350 » A Constructive Semantics for ALC |
107
click to vote
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
122
click to vote
FQAS
2004
Springer
15 years 4 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
104
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
127
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
120
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...