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