Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications