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