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