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