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