3028 search results - page 143 / 606 » Integrating Temporal Logics |
115
click to vote
MMSEC
2004
ACM
15 years 10 months ago
2004
ACM
In the paper, we address oracle attacks for integrity watermarking in a communication setting. We show how an integrity verification algorithm can be modified in order to counte...
135
Voted
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- Choquet integral has proved to be an effective aggregation model in multiple criteria decision analysis when interactions between criteria have to be taken into consider...
118
Voted
AIL
1998
15 years 4 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
132
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
139
click to vote
DATESO
2008
15 years 6 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...