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