13383 search results - page 2320 / 2677 » Abstractions from proofs |
252
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
176
click to vote
CAIP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
224
click to vote
CIARP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In many classification problems, and in particular in medical domains, it is common to have an unbalanced class distribution. This pose problems to classifiers as they ...
214
click to vote
CMS
2011
14 years 4 months ago
2011
Abstract. Cloud computing promises a cost effective enabling technology to outsource storage and massively parallel computations. However, existing approaches for provably secure ...
158
click to vote
COMPSAC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...