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