P2P Wireless networks Formal methods Cloud computing Verification Data security Simulation Ontologies VANET Augmented reality Signal processing QoS Semantics QoE Network security Scalability Hidden Markov chains Sensors Deep learning Middleware Virtualization Triplet Markov chains Web services IMS Sécurité Optimisation Hidden Markov models Privacy Software engineering Machine learning Security Mobility Energy consumption RFID SIP Blockchain Reputation Routing Energy efficiency Indoor positioning Interoperability Reinforcement learning Formal verification Biometrics Service composition Distributed systems Internet of Things Sensor networks LTE MPEG-4 Semantic web Indoor localization Context Neural networks Performance Anomaly detection NGN NFV Quality of service IoT Trust Clustering Event-B Particle filtering Testing Computer networks Intrusion detection Compression MPEG SDN Resource allocation Cloud Computing Internet of things Social networks Context-awareness Passive testing Cloud Cryptography Performance analysis MANETs Modeling Augmented Reality Business process Access control Ubiquitous computing Ontology Artificial intelligence Data mining Scheduling Monitoring Classification Internet des objets Social media Wireless sensor networks WSN Optimization Performance evaluation Authentication 5G Model checking