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