001432011 000__ 03816cam\a2200553\i\4500 001432011 001__ 1432011 001432011 003__ OCoLC 001432011 005__ 20230309003417.0 001432011 006__ m\\\\\o\\d\\\\\\\\ 001432011 007__ cr\cn\nnnunnun 001432011 008__ 200929s2021\\\\sz\a\\\\ob\\\\001\0\eng\d 001432011 019__ $$a1197840500$$a1202463227 001432011 020__ $$a9783030501846$$q(electronic book) 001432011 020__ $$a3030501841$$q(electronic book) 001432011 020__ $$z3030501833 001432011 020__ $$z9783030501839 001432011 0248_ $$a10.1007/978-3-030-50 001432011 035__ $$aSP(OCoLC)1198016815 001432011 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dYDXIT$$dOCLCF$$dLQU$$dUKMGB$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ 001432011 049__ $$aISEA 001432011 050_4 $$aQA76.59$$b.I58 2021 001432011 08204 $$a004$$223 001432011 24500 $$aIntelligent mobile service computing /$$cHonghao Gao, Yuyu Yin, editors. 001432011 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021] 001432011 300__ $$a1 online resource 001432011 336__ $$atext$$btxt$$2rdacontent 001432011 337__ $$acomputer$$bc$$2rdamedia 001432011 338__ $$aonline resource$$bcr$$2rdacarrier 001432011 4901_ $$aEAI/Springer innovations in communication and computing 001432011 504__ $$aIncludes bibliographical references and index. 001432011 5050_ $$aChapter 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. 001432011 506__ $$aAccess limited to authorized users. 001432011 520__ $$aThis 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. 001432011 588__ $$aOnline resource; title from digital title page (viewed on October 27, 2020). 001432011 650_0 $$aMobile computing. 001432011 650_0 $$aArtificial intelligence. 001432011 650_6 $$aInformatique mobile. 001432011 650_6 $$aIntelligence artificielle. 001432011 655_0 $$aElectronic books. 001432011 7001_ $$aGao, Honghao,$$eeditor. 001432011 7001_ $$aYin, Yuyu,$$eeditor. 001432011 77608 $$iPrint version:$$tIntelligent mobile service computing.$$dCham, Switzerland : Springer, [2021]$$z3030501833$$z9783030501839$$w(OCoLC)1154960046 001432011 830_0 $$aEAI/Springer innovations in communication and computing. 001432011 852__ $$bebk 001432011 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-50184-6$$zOnline Access$$91397441.1 001432011 909CO $$ooai:library.usi.edu:1432011$$pGLOBAL_SET 001432011 980__ $$aBIB 001432011 980__ $$aEBOOK 001432011 982__ $$aEbook 001432011 983__ $$aOnline 001432011 994__ $$a92$$bISE