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