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