100 search results - page 9 / 20 » Foundations of Attack-Defense Trees |
UAI
1993
13 years 8 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...
DAWAK
2010
Springer
13 years 7 months ago
2010
Springer
Region Of Interest Based Image Classification (ROIBIC) is a mechanism for categorising images according to some specific component or object that features across a given image set....
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
ADC
2008
Springer
14 years 1 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
DLS
2007
13 years 11 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...