5128 search results - page 674 / 1026 » When Abstraction Fails |
179
click to vote
SACRYPT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
154
click to vote
SARA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
161
click to vote
SAS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
214
click to vote
SCALESPACE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
141
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Searching for information on the Internet became much easier when Google started delivering their service. We got used to getting the most important (probably) results on...