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