493 search results - page 44 / 99 » The oracle penalty method |
135
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
152
Voted
ICASSP
2009
IEEE
16 years 9 days ago
2009
IEEE
A computer vision based algorithm for wildfire detection is developed. The main detection algorithm is composed of four sub-algorithms detecting (i) slow moving objects, (ii) gra...
166
click to vote
SEW
2006
IEEE
15 years 11 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
174
click to vote
COCO
2005
Springer
15 years 11 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
137
Voted
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
An aggregate signature scheme (recently proposed by Boneh, Gentry, Lynn, and Shacham) is a method for combining n signatures from n different signers on n different messages int...