|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
on1150155993 |
| 003 |
OCoLC |
| 005 |
20240623213015.0 |
| 006 |
m o d |
| 007 |
cr un|---aucuu |
| 008 |
200411s2020 sz o 101 0 eng d |
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d GW5XE
|d EBLCP
|d LQU
|d OCLCF
|d NLW
|d OCLCO
|d OCLCQ
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|d UKMGB
|d AUD
|d OCLCO
|d OCLCL
|
| 015 |
|
|
|a GBC337657
|2 bnb
|
| 016 |
7 |
|
|a 019821226
|2 Uk
|
| 019 |
|
|
|a 1152538422
|a 1153166723
|a 1153957520
|a 1154490640
|
| 020 |
|
|
|a 9783030447694
|q (electronic bk.)
|
| 020 |
|
|
|a 3030447693
|q (electronic bk.)
|
| 020 |
|
|
|z 9783030447687
|q (print)
|
| 024 |
8 |
|
|a 10.1007/978-3-030-44
|
| 035 |
|
|
|a (OCoLC)1150155993
|z (OCoLC)1152538422
|z (OCoLC)1153166723
|z (OCoLC)1153957520
|z (OCoLC)1154490640
|
| 037 |
|
|
|a com.springer.onix.9783030447694
|b Springer Nature
|
| 050 |
|
4 |
|a QA76.585
|
| 049 |
|
|
|a HCDD
|
| 111 |
2 |
|
|a ESOCC (Conference)
|n (8th :
|d 2020 :
|c Ērakleion, Greece)
|
| 245 |
1 |
0 |
|a Service-oriented and cloud computing :
|b 8th IFIP WG 2. 14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings /
|c Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos (eds.).
|
| 246 |
3 |
|
|a ESOCC 2020
|
| 260 |
|
|
|a Cham :
|b Springer,
|c 2020.
|
| 300 |
|
|
|a 1 online resource (196 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science ;
|v v. 12054
|
| 490 |
1 |
|
|a LNCS sublibrary. SL 2, Programming and software engineering
|
| 500 |
|
|
|a International conference proceedings.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Intro -- Preface -- Organization -- Contents -- Formal Methods -- Testing Conformance in Multi-component Enterprise Application Management -- 1 Introduction -- 2 Background: Management Protocols -- 3 Motivating Scenario -- 4 Testing Conformance in Application Management -- 4.1 IOLTS Semantics of Management Protocols -- 4.2 Input-Enabledness -- 4.3 Conformance Testing Based on Management Protocols -- 4.4 Which Conformance Tests to Run? -- 5 Related Work -- 6 Conclusions -- References -- Formalizing Event-Driven Behavior of Serverless Applications -- 1 Introduction
|
| 505 |
8 |
|
|a 2 Semantics for Serverless Computation -- 2.1 In-process Semantics -- 2.2 Event Semantics -- 2.3 Platform Behavior Encoded in Semantics -- 2.4 Platform Supported Function Composition -- 3 Service Call Graphs -- 4 Call Graph Implementation and Evaluation -- 5 Conclusion -- References -- Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs -- 1 Introduction -- 2 The Reversible SW-PUF -- 3 Verifiable Computation Scheme -- 4 Evaluation of the Reversible SW-PUF -- 5 Conclusions -- References -- Cloud Service and Platform Selection
|
| 505 |
8 |
|
|a Multiplayer Game Backends: A Comparison of Commodity Cloud-Based Approaches -- 1 Introduction -- 2 Related Work -- 3 Experimental Approach -- 3.1 Game State -- 3.2 Actions and Rules -- 3.3 Evaluation Strategy -- 4 Implementation -- 5 Evaluation -- 6 Conclusions and Future Work -- References -- Are Cloud Platforms Ready for Multi-cloud? -- 1 Introduction -- 2 Platform Selection Process -- 3 Requirements -- 3.1 C1 -- Cloud Orchestration Support -- 3.2 C2 -- Cloud Application Support -- 3.3 C3 -- Platform Intelligence -- 4 Evaluation -- 4.1 Overall Results -- 4.2 Cloud Orchestration Support
|
| 505 |
8 |
|
|a 4.3 Cloud Application Support -- 4.4 Platform Intelligence -- 5 Conclusions and Challenges -- References -- Identification of Comparison Key Elements and Their Relationships for Cloud Service Selection -- 1 Introduction -- 2 Proposed Method -- 2.1 Identification of Architects' Requirements -- 2.2 Identification of Attributes from Service Plans -- 2.3 Identification of Attributes Based on Benchmark Works -- 2.4 Selection of NFAs and NFRs from an Empirical Study -- 3 Empirical Validation of the Method -- 4 Related Work -- 5 Conclusion -- References -- Deployment and Workflows
|
| 505 |
8 |
|
|a Deployable Self-contained Workflow Models -- 1 Introduction -- 2 Fundamentals and Problem Statement -- 2.1 Service Composition -- 2.2 Imperative Workflow Technology -- 2.3 Service Deployment -- 2.4 Problem Statement -- 3 Self-contained Workflow Models -- 4 Automatic Service Deployment -- 5 Prototype -- 6 Related Work -- 7 Conclusion -- References -- Technology-Agnostic Declarative Deployment Automation of Cloud Applications -- 1 Introduction -- 2 Background and Motivations -- 2.1 Deployment Models and Deployment Technologies -- 2.2 Motivating Scenario -- 2.3 Essential Deployment Metamodel
|
| 500 |
|
|
|a 3 Transforming EDMM Models into Deployment Technology-Specific Models
|
| 500 |
|
|
|a Includes author index.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volume were carefully reviewed and selected from 20 submissions. The main event mapped to the main research track which focused on the presentation of cutting-edge research in both the service-oriented and cloud computing areas. In conjunction, an industrial track was also held attempting to bring together academia and industry through showcasing the application of service-oriented and cloud computing research, especially in the form of case studies, in the industry. The chapters 'Identification of Comparison Key Elements and their Relationships for Cloud Service Selection and 'Technology-Agnostic Declarative Deployment Automation of Cloud Applications are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
|
| 650 |
|
0 |
|a Cloud computing
|v Congresses.
|
| 650 |
|
0 |
|a Service-oriented architecture (Computer science)
|v Congresses.
|
| 650 |
|
7 |
|a Information retrieval.
|2 bicssc
|
| 650 |
|
7 |
|a Expert systems
|x knowledge-based systems.
|2 bicssc
|
| 650 |
|
7 |
|a Systems analysis & design.
|2 bicssc
|
| 650 |
|
7 |
|a Software Engineering.
|2 bicssc
|
| 650 |
|
7 |
|a Computers
|x Information Technology.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Expert Systems.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Hardware
|x Handheld Devices.
|2 bisacsh
|
| 650 |
|
7 |
|a Computers
|x Software Development & Engineering
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Cloud computing
|2 fast
|
| 650 |
|
7 |
|a Service-oriented architecture (Computer science)
|2 fast
|
| 655 |
|
0 |
|a Electronic books.
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
| 700 |
1 |
|
|a Brogi, Antonio.
|
| 700 |
1 |
|
|a Zimmermann, Wolf.
|
| 700 |
1 |
|
|a Kritikos, Kyriakos.
|
| 758 |
|
|
|i has work:
|a Service-oriented and cloud computing (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGHH48Fc7VbgQMtYrkqPcP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Brogi, Antonio.
|t Service-Oriented and Cloud Computing : 8th IFIP WG 2. 14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings.
|d Cham : Springer International Publishing AG, ©2020
|z 9783030447687
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 12054.
|
| 830 |
|
0 |
|a LNCS sublibrary.
|n SL 2,
|p Programming and software engineering.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-44769-4
|y Click for online access
|
| 903 |
|
|
|a SPRING-COMP2020
|
| 994 |
|
|
|a 92
|b HCD
|