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