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