4491 search results - page 399 / 899 » Algorithm Engineering |
215
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
As XML-based messages have become common in many client-server protocols, there is a need to protect application servers from invalid or dangerous messages. This leads to the XML ...
236
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
127
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
115
click to vote
IH
2007
Springer
15 years 10 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
181
click to vote
WEBDB
2007
Springer
15 years 10 months ago
2007
Springer
Clustering web search engine results for ambiguous keyword searches poses unique challenges. First, we show that one cannot readily import the frequency based feature ranking to c...