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