{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:29:50Z","timestamp":1725622190880},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239014"},{"type":"electronic","value":"9783642239021"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23902-1_2","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T07:29:36Z","timestamp":1318922976000},"page":"12-19","source":"Crossref","is-referenced-by-count":7,"title":["Service Composition and Advanced User Interfaces in the Home of Tomorrow: The SM4All Approach"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Catarci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Forte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ettore","family":"Iacomussi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Santucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Tino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","first-page":"18","volume":"31","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull.\u00a031(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"2_CR2","volume-title":"Proc. of 2010 International Conference on Service Systems and Service Management (ICSSSM 2010)","author":"R. Masellis De","year":"2010","unstructured":"De Masellis, R., Di Ciccio, C., Mecella, M., Patrizi, F.: Smart Home Planning Programs. In: Proc. of 2010 International Conference on Service Systems and Service Management (ICSSSM 2010). Japan Advanced Institute of Science and Technology, Japan (2010)"},{"key":"2_CR3","unstructured":"Do, M., Kambhampati, S.: Solving Planning-Graph by Compiling it into CSP. In: Proc. AIPS 2000, pp. 82\u201391 (2000)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MPRV.2004.1316813","volume":"3","author":"A. Hauptmann","year":"2004","unstructured":"Hauptmann, A., Gao, J., Yan, R., Qi, Y., Yang, J., Wactlar, H.: Automatic analysis of nursing home observations. IEEE Pervasive Computing 3(2), 15\u201321 (2004)","journal-title":"IEEE Pervasive Computing"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.2005.107","volume":"38","author":"S. Helal","year":"2005","unstructured":"Helal, S., Mann, W.C., El-Zabadani, H., King, J., Kaddoura, Y., Jansen, E.: The gator tech smart house: A programmable pervasive space. IEEE Computer\u00a038(3), 50\u201360 (2005)","journal-title":"IEEE Computer"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MPRV.2004.1316816","volume":"3","author":"A. Joseph","year":"2004","unstructured":"Joseph, A.: Successful aging. IEEE Pervasive Computing\u00a03(2), 36\u201341 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"2_CR7","unstructured":"Kaldeli, E.: Using CSP for Adaptable Web Service Composition. Tech. Rep. 2009-7-01, University of Groningen (2009), www.cs.rug.nl\/~eirini\/tech_rep_09-7-01.pdf"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Kaldeli, E., Lazovik, A., Aiello, M.: Extended Goals for Composing Services. In: Proc. 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 (2009)","DOI":"10.1609\/icaps.v19i1.13385"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MPRV.2004.1316816","volume":"3","author":"E. Mynatt","year":"2004","unstructured":"Mynatt, E., Melenhorst, A., Fisk, A., Rogers, W.: Understanding user needs and attitudes. IEEE Pervasive Computing\u00a03(2), 36\u201341 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Paradiso, J., Dutta, P., Gellersen, H., Schooler, E.: Smart energy systems. special issue. IEEE Pervasive Computing\u00a010 (2011)","DOI":"10.1109\/MPRV.2011.4"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Patrizi, F.: Simulation-based Techniques for Automated Service Composition. Ph.D. thesis, Department of Systems and Computer Science, SAPIENZA - Universit\u00e1 di Roma, Rome, Italy (2009)","DOI":"10.4204\/EPTCS.2.4"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: Proc. POPL, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"issue":"1","key":"2_CR13","first-page":"6","volume":"12","author":"J. Roberts","year":"2006","unstructured":"Roberts, J.: Pervasive health management and health management utilizing pervasive technologies: Synergy and issues. The Journal of Universal Computer Science\u00a012(1), 6\u201314 (2006)","journal-title":"The Journal of Universal Computer Science"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MPRV.2004.1316815","volume":"3","author":"D. Ross","year":"2004","unstructured":"Ross, D.: Cyber crumbs for successful aging with vision loss. IEEE Pervasive Computing\u00a03(2), 30\u201335 (2004)","journal-title":"IEEE Pervasive Computing"},{"key":"2_CR15","unstructured":"Tuecke, S., Foster, I., Frey, J., Graham, S., Kesselman, C., Maquire, T., Sandholm, T., Snelling, D., Vanderbilt, P.: Open service grid infrastructure (2003)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Ambient Media and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23902-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T14:39:13Z","timestamp":1686407953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23902-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239014","9783642239021"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23902-1_2","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2011]]}}}