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