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