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