2218 search results - page 275 / 444 » Testing Expressibility Is Hard |
98
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In the biometric verification, authentication is given when a distance of biometric signatures between enrollment and test phases is less than an acceptance threshold, and the perf...
120
Voted
AIPS
2008
15 years 3 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
110
click to vote
CEAS
2008
Springer
15 years 2 months ago
2008
Springer
Phishing emails are a real threat to internet communication and web economy. Criminals are trying to convince unsuspecting online users to reveal passwords, account numbers, socia...
116
click to vote
APN
2006
Springer
15 years 2 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
99
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...