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