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