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