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