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