2830 search results - page 115 / 566 » No Science without Semantics |
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
ERSHOV
1999
Springer
14 years 6 days ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
The paper presents a concept and architecture of specialized Internet portal providing semantic access to knowledge and information resources (electronic collections) for any given...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
MFCS
1997
Springer
13 years 11 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...