- Multi-player Educational Video Game over Cloud to Stimulate Logical Reasoning of Children
Cesar Villacis Silva (Universidad de las Fuerzas Armadas ESPE, Ecuador); Walter Fuertes (Universidad de las Fuerzas Armadas ESPE, Ecuador); Andres Bustamante Crespo (Universidad de las Fuerzas Armadas ESPE, Ecuador); Daniel Almachi Toapanta (Universidad de las Fuerzas Armadas ESPE, Ecuador); Carlos Procel Silva (Universidad de las Fuerzas Armadas ESPE, Ecuador); Blanca Fuertes (Universidad de las Fuerzas Armadas ESPE, Ecuador); Theo Toulkeridis (Universidad de las Fuerzas Armadas ESPE, Ecuador)
- Real-time 3D Visualization for Distributed Simulations of VANets
Shichao Guan (University of Ottawa, Canada); Robson De Grande (University of Ottawa, Canada); Azzedine Boukerche (University of Ottawa, Canada)
- A Context-Free Smart Grid Model Using Complex System Approach
Guillaume Guérard (University of Versailles Saint-Quentin-en-Yvelines & PRiSM, France); Soufian Ben Amor (University of Versailles Saint-Quentin-en-Yvelines, France); Alain Bui (Université de Versailles St-Quentin-en-Yvelines, France)
- A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods
Aznam Yacoub (LSIS, France); Maamar Hamri (LSIS, France); Claudia Frydman (LSIS, France)