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