• Necessary & Sufficient Conditions for Consistency of Haar Wavelet Expressions to their resizable Hadoop Cluster Channels and Complexity

  • A Permission-Based Distributed Mutual Exclusion Algorithm allowing Quality of Service (PBDMEAQoS)

  • Specification of REST API Services for Modbus Protocol using Formal technique

  • Video Steganography using MATLAB

  • Evaluation of LPWAN technology for Smart City

  • Evaluating urban neighbourhoods in terms of mobility performances, using open data and GPS tracks to assess actual people travel behaviour

  • Requirement Engineering for Intelligent Vehicles at Safety Perspective

  • Use of the cellular automatons (CA) for the discrete simulation of urban sound waves propagation in the smart cities context

  • Cycling intellectualization in Smart Cities

  • Smart Grids and Load Profiles in the GCC Region