18 search results - page 4 / 4 » Type inference and informative error reporting for secure in... |
BMCBI
2006
13 years 8 months ago
2006
Background: Large-scale genetic mapping projects require data management systems that can handle complex phenotypes and detect and correct high-throughput genotyping errors, yet a...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
We report a series of user studies that evaluate the feasibility and usability of light-weight user authentication with a single tri-axis accelerometer. We base our investigation ...