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