8437 search results - page 1395 / 1688 » Preferences over Sets |
175
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
183
click to vote
EDBT
2010
ACM
15 years 12 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
174
click to vote
EDBT
2010
ACM
15 years 12 months ago
2010
ACM
The wide availability of commodity multi-core systems presents an opportunity to address the latency issues that have plaqued XML query processing. However, simply executing multi...
309
click to vote
AGP
2010
IEEE
15 years 12 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
168
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...