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