4255 search results - page 737 / 851 » Cover |
148
click to vote
ISSTA
2009
ACM
15 years 12 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
160
click to vote
JCDL
2009
ACM
15 years 12 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
129
click to vote
SIGCOMM
2009
ACM
15 years 12 months ago
2009
ACM
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...
140
click to vote
SIGECOM
2009
ACM
15 years 12 months ago
2009
ACM
We study protocols to enable one user (the principal) to make potentially profitable but risky interactions with another user (the agent), in the absence of direct trust between ...
162
click to vote
SIGGRAPH
2009
ACM
15 years 12 months ago
2009
ACM
Spectral methods for mesh processing and analysis rely on the eigenvalues, eigenvectors, or eigenspace projections derived from appropriately defined mesh operators to carry out ...