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