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