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