8810 search results - page 1619 / 1762 » Open. Closed. Open |
176
click to vote
FC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
179
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
181
click to vote
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—The 64-bit OS provides ample memory address space that is beneficial for applications using a large amount of data. This paper proposes using a cluster as a memory resource for...
166
click to vote
DGCI
2009
Springer
15 years 9 months ago
2009
Springer
Finding an efficient optimal partial tiling algorithm is still an open problem. We have worked on a special case, the tiling of Manhattan polyominoes with dominoes, for which we gi...
193
click to vote
GROUP
2009
ACM
15 years 9 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...