4212 search results - page 293 / 843 » Rights Expression Languages |
168
click to vote
DEDUCTIVE
1994
15 years 8 months ago
1994
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
162
click to vote
COLING
1992
15 years 7 months ago
1992
In machine translation (MT) dierent levels of representation can be used to translate a source language sentence onto its target language equivalent. These levels have to be relat...
180
click to vote
JSW
2008
15 years 6 months ago
2008
Intrusion detection systems (IDS) are special computer security tools which help detect intrusion attempts. Misuse based detection is one of the techniques which is used by IDS to ...
141
click to vote
JLP
2010
15 years 1 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
177
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...