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