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