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