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