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