Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Lee mas
Vision with Direction
Image analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
Lee mas
Visual Perception and Robotic Manipulation
This book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...
Lee mas
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Lee mas
Wireless Sensor Networks
This book constitutes the refereed proceedings of the 4th European Workshop on Wireless Sensor Networks, EWSN 2007, held ...
Lee mas
