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