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