Proceedings of the fourth ACM international symposium on Development and analysis of intelligent vehicular networks and applications