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