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