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