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