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