Chapter 1. Cross Domain security model based on Internet of vehicles -- Chapter 2. A framework to improve performance and energy efficiency of Embedded Intelligence Service System -- Chapter 3. Formal verification, testing, inspection for intelligent services -- Chapter 4. QoS for 5G Mobile Services based on Intelligent Multi-Access Edge Computing -- Chapter 5. An Efficient Interpolation Method through Trends Prediction in Smart Power Grid -- Chapter 6. 2PC+: A High Performance Protocol for Distributed Transactions of Microservice Architecture.

This book discusses recent research and applications in intelligent service computing in mobile environments. The authors first explain how advances in artificial intelligence and big data have allowed for an array of intelligent services with complex and diverse applications. They then show how this brings new opportunities and challenges for service computing. The book, made up of contributions from academic and industry, aims to present advances in intelligent services, new algorithms and techniques in the field, foundational theory and systems, as well as practical real-life applications. Some of the topics discussed include cognition, modeling, description and verification for intelligent services; discovery, recommendation and selection for intelligent services; formal verification, testing and inspection for intelligent services; and composition and cooperation methods for intelligent services. Presents a variety of perspectives in current research in intelligent services in mobile computing; Provides perspectives from research, academia, and industry on intelligent service computing in mobile environments; Discusses applications in intelligent services in mobile computing and future directions in the field.