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