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