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