Intelligent Mobile Service Computing

✍ Scribed by Honghao Gao, Yuyu Yin

• Publisher: Springer
• Year: 2020
• Tongue: English
• Leaves: 117
• Series: EAI/Springer Innovations in Communication and Computing
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Preface
The Intelligent Service Computing in Mobile Environment
Acknowledgment
Contents
1 A Cross-Domain Security Model Based on Internet of Vehicles
1.1 Introduction
1.2 Background
1.3 Cross-Domain Security Model of IoV
1.3.1 Division of Security Domain
1.3.2 Security Model
1.3.2.1 Model Structure
1.3.2.2 Protection Strategies of Security Domain
1.3.3 Construction of Inter-Domain Trust Relationship
1.3.4 Construction of CA Infrastructure
1.3.5 Basic Workflows of CA Management System of Model
1.4 Conclusion
References
2 A Framework to Improve Performance and Energy Efficiency of Embedded Intelligence Service Systems
2.1 Introduction
2.2 Related Work
2.3 Proposed Framework Mechanism
2.3.1 The Overall Architecture
2.3.2 Power Mode Adjustment Module
2.3.3 Decision-Making Layer
2.3.3.1 Application-Based Threads Group Scheduler
2.3.3.2 RS-Buddy System
2.3.4 Information-Collecting Layer
2.3.5 Interface Layer
2.3.6 Workflow
2.4 Experimental Verification
2.5 Conclusion
References
3 Formal Verification, Testing, and Inspection for IntelligentServices
3.1 Introduction
3.2 Modeling
3.2.1 Kripke Structure Modeling
3.2.2 An Example
3.3 Specification
3.3.1 The Computation Tree Logic (CTL*)
3.3.2 Fairness
3.4 Verification
3.4.1 Deductive Verification
3.4.2 Model Checking
3.4.3 Symbolic Model Checking
3.4.3.1 Fixed-Point Representations
3.4.3.2 Symbolic Model Checking for CTL
3.4.3.3 Algorithm of Model Checking
3.4.4 Fairness in Model Inspecting
3.5 Testing
3.5.1 Software Testing Method
3.6 Model Checking in Practice
3.6.1 The NuXMV Model Checker
3.6.2 Grammar of NuXMV
3.6.2.1 MODULE
3.6.2.2 Types and Variables
3.6.2.3 Specifications
3.6.2.4 Module and Program
3.6.3 An Example
References
4 QoS for 5G Mobile Services Based on Intelligent Multi-access Edge Computing
4.1 Introduction
4.2 5G QoS
4.2.1 5G Features
4.2.2 QoS
4.2.3 5G Network Slicing
4.3 Mobile Edge and Cloud Computing Architecture and Design
4.4 System Model for Intelligent Multi-access Edge Computing
4.5 Conclusions
References
5 An Efficient Interpolation Method Through Trends Prediction in Smart Power Grid
5.1 Introduction
5.2 Background
5.2.1 Motivation
5.2.2 Related Work
5.3 Methods and Models
5.3.1 Methodology
5.3.2 Trend Prediction to Substitute Missing Records
5.3.3 Trend Prediction Implementation
5.4 Experiments
5.4.1 Environment
5.4.2 Evaluation
5.5 Conclusion
References
6 2PC+: A High Performance Protocol for Distributed Transactions of Micro-service Architecture
6.1 Introduction
6.2 Preliminaries
6.3 Design
6.4 Correctness
6.5 Evaluation
6.5.1 Experimental Setup
6.5.2 Experimental Case
6.5.3 RT Experiment
6.5.4 TPS Experiment
6.5.5 Related Work
6.6 Conclusion
References
Index