265 search results - page 49 / 53 » On the Intersection of XPath Expressions |
CRYPTO
2005
Springer
14 years 27 days ago
2005
Springer
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...
IPMU
2010
Springer
14 years 4 days ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
DIAGRAMS
2000
Springer
13 years 11 months ago
2000
Springer
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
DBPL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...