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