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