2488 search results - page 406 / 498 » An improvement in formal verification |
121
click to vote
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Many financial institutions have deployed CAPTCHAs to protect their services (e.g., e-banking) from automated attacks. In addition to CAPTCHAs for login, CAPTCHAs are also used to...
153
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
117
click to vote
USS
2010
14 years 11 months ago
2010
On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for mayor and city council members using the ScantegrityII voting system--the first time any end-to-end (e2e) vo...
238
click to vote
ICUIMC
2011
ACM
14 years 4 months ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
122
click to vote
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...