5451 search results - page 592 / 1091 » Typed Operational Semantics |
194
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new framework for users to select relevant data from an XML document and store it in an existing relational database, as opposed to previous approaches that s...
168
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
173
click to vote
LPNMR
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
182
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
193
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...