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