10066 search results - page 2012 / 2014 » A Technique for Information System Integration |
ACSAC
2010
IEEE
13 years 5 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...
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
ICNS
2009
IEEE
13 years 5 months ago
2009
IEEE
In the last decade, file sharing systems have generally been dominated by P2P solutions. Whereas e-mail and HTTP have been the killer apps of the earlier Internet, a large percent...
ICDCS
2010
IEEE
13 years 4 months ago
2010
IEEE
As Cloud Computing becomes prevalent, sensitive information are being increasingly centralized into the cloud. For the protection of data privacy, sensitive data has to be encrypte...