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