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