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