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