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