2599 search results - page 167 / 520 » An Operational Semantics for Knowledge Bases |
172
click to vote
ESWS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
175
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
155
click to vote
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
163
click to vote
ICWL
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
144
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...