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