Next Generation Vehicular Networks, Modeling, Algorithm and Applications