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