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