47 search results - page 10 / 10 » On Bounding Problems of Quantitative Information Flow |
EUROSYS
2007
ACM
14 years 1 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...
IJRR
2010
13 years 2 months ago
2010
This paper describes the experimental implementation of an online algorithm for cooperative localization of submerged autonomous underwater vehicles (AUVs) supported by an autonom...