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.

  Autorentext

Prof. Honghao Gao received the Ph.D. degree in Computer Science and started his academic career at Shanghai University in 2012. He is an IET Fellow(FIET), BCS Fellow(FBCS), EAI Fellow(FEAI), IEEE Senior Member(SMIEEE), CCF Senior Member(SMCCF), and CAAI Senior Member(SMCAAI). Dr. Gao is currently a Distinguished Professor with the Key Laboratory of Complex Systems Modeling and Simulation, Ministry of Education, China, is a Research Fellow with the Software Engineering Information Technology Institute of Central Michigan University (CMU), USA, and is also a Professor at Gachon University, South Korea. Dr. Gao's research interests include service computing, model checking-based software verification, wireless networks, and intelligent medical image processing.

Prof. Yuyu Yin received the PhD in Computer Science from Zhejiang University in 2010. He is currently a Professor at the College of Computer in Hangzhou Dianzi University and is engaged as a Supervisor of Master Students with the School of Computer Engineering and Science of Shanghai University, Shanghai, China. His research interests include Service Computing, Cloud Computing, and Business Process Management. He is a IEEE Member, Member of the China Computer Federation (CCF), CCF Service Computing Technical Committee Member. During the past ten years, he has published more than 40 papers in journals and refereed conferences such as Sensors, Entropy, IJSEKE, Mobile Information Systems, ICWS, SEKE. He organized and more than 10 international conferences and workshops, such as FMSC2011-2017, DISA2012\2017-2018. Also He worked as guest editor for Journal of Information Science and Engineering and International Journal of Software Engineering and Knowledge Engineering, and as reviewers for IEEE transaction on Industry Informatics, Journal of Database Management, Future Generation Computer Systems, etc.

Inhalt
Chapter 1. Cross Domain security model based on Internet of vehicles .- Chapter 2. A framework to improve performance and energy eciency of Embedded Intelligence Service System.- Chapter 3. Formal verication, 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.