Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
This work outlines two approaches for small unmanned aerial vehicles (UAVs) performing surveillance with fixed cameras. Small UAVs present significant control challenges, due to re...
Stephen Jackson, John Tisdale, Maryam Kamgarpour, ...
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...