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