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