110 search results - page 16 / 22 » Matching Objects Without Language Extension |
172
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Recently, there has been extensive research that generated a wealth of new XML full-text query languages, ranging from simple Boolean search to combining sophisticated proximity a...
ER
2003
Springer
15 years 4 months ago
2003
Springer
While the Internet has facilitated access to information sources, the task of scalable integration of these heterogeneous data sources remains a challenge. The adoption of the eXte...
102
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
224
click to vote
POPL
2001
ACM
15 years 12 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
To make efficient use of CMPs with tens to hundreds of cores, it is often necessary to exploit fine-grain parallelism. However, managing tasks of a few thousand instructions is ...