LEADER 05772nam 22009255 450 001 996466466603316 005 20200702035708.0 010 $a3-319-22885-4 024 7 $a10.1007/978-3-319-22885-3 035 $a(CKB)4340000000001082 035 $a(SSID)ssj0001585545 035 $a(PQKBManifestationID)16265507 035 $a(PQKBTitleCode)TC0001585545 035 $a(PQKBWorkID)14865682 035 $a(PQKB)10118092 035 $a(DE-He213)978-3-319-22885-3 035 $a(MiAaPQ)EBC5577333 035 $a(PPN)190528109 035 $a(EXLCZ)994340000000001082 100 $a20150901d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aService-Oriented Computing - ICSOC 2014 Workshops$b[electronic resource] $eWESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers /$fedited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXXVIII, 430 p. 137 illus.) 225 1 $aProgramming and Software Engineering ;$v8954 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-22884-6 320 $aIncludes bibliographical references and index. 327 $aEngineering service-oriented applications -- Resource management in service-oriented computing -- Knowledge aware service oriented applications -- Intelligent service clouds -- Self-managing pervasive service systems -- Formal modeling and verification of service-based systems -- Cloud Computing and scienfific applications -- PhD symposium track -- Demo track. 330 $aThis book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computingm, ICSOC 2015, held in Paris, France, in November 2014. The conference hosted the following seven workshops: 10th International Workshop in Engineering Service-Oriented Applications, WESOA 2014; First Workshop on Resource Management in Service-Oriented Computing, RMSOC 2014; First International Workshop on Knowledge Aware Service Oriented Applications, Performance Assessment and Auditing in Service Computing, KASA 2014; Workshop on Intelligent Service Clouds, ISC 2014; Third International Workshop on Self-Managing Pervasive Service Systems, SeMaPS 2014; First International Workshop on Formal Modeling and Verification of Service-Based Systems, FOR-MOVES 2014; 4th International Workshop on Cloud Computing and Scientific Applications, CCSA 2014. The papers included in this volume were carefully reviewed and selected from numerous submissions. They address various topics in the service-oriented computing domain and its emerging applications. enUsed="false" QFormat="true" Name="Intense Reference"/>. 410 0$aProgramming and Software Engineering ;$v8954 606 $aSoftware engineering 606 $aApplication software 606 $aInformation technology 606 $aBusiness?Data processing 606 $aManagement information systems 606 $aComputer science 606 $aComputers and civilization 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aIT in Business$3https://scigraph.springernature.com/ontologies/product-market-codes/522000 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aInformation technology. 615 0$aBusiness?Data processing. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputers and civilization. 615 14$aSoftware Engineering. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aIT in Business. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aManagement of Computing and Information Systems. 615 24$aComputers and Society. 676 $a004.36 702 $aToumani$b Farouk$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPernici$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGrigori$b Daniela$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBenslimane$b Djamal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMendling$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBen Hadj-Alouane$b Nejib$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBlake$b Brian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPerrin$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSaleh Moustafa$b Iman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBhiri$b Sami$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466466603316 996 $aService-Oriented Computing - ICSOC 2014 Workshops$92597926 997 $aUNISA