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