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