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