{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:18:23Z","timestamp":1726409903803},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781523"},{"type":"electronic","value":"9783540781530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78153-0_6","type":"book-chapter","created":{"date-parts":[[2008,2,14]],"date-time":"2008-02-14T06:40:51Z","timestamp":1202971251000},"page":"53-67","source":"Crossref","is-referenced-by-count":0,"title":["Direct Backtracking: An Advanced Adaptation Algorithm for Pervasive Applications"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Schuhmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Rothermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Becker, C., et al.: PCOM - A Component System for Pervasive Computing. In: Proceedings of the 2nd IEEE International Conference on Pervasive Computing and Communications (PerCom\u00a02004), Orlando, USA (2004)","DOI":"10.1109\/PERCOM.2004.1276846"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Rom\u00e1n, M., et al.: Gaia: A Middleware Infrastructure to Enable Active Spaces. In: IEEE Pervasive Computing, pp. 74\u201383 (October-December 2002)","DOI":"10.1109\/MPRV.2002.1158281"},{"key":"6_CR3","first-page":"29","volume-title":"Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture","author":"J.P. Sousa","year":"2002","unstructured":"Sousa, J.P., Garlan, D.: Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. In: Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, August 2002, pp. 29\u201343. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"6_CR4","unstructured":"Saif, U., et al.: A case for goal-oriented programming semantics. In: UbiSys 2003: Workshop on System Support for Ubiquitous Computing at UbiComp 2003, Seattle, USA, pp. 1\u20138 (2003)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Handte, M., Becker, C., Rothermel, K.: Peer-based Automatic Configuration of Pervasive Applications. In: IEEE International Conference on Pervasive Services 2005 (ICPS 2005), Santorini, Greece (2005)","DOI":"10.1109\/PERSER.2005.1506418"},{"key":"6_CR6","unstructured":"Handte, M., et al.: 3PC\/MarNET Pervasive Presenter. In: 4th IEEE International Conference on Pervasive Computing and Communications (PerCom 2006), Pisa, Italy (2006)"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., et al.: The Distributed Constraint Satisfaction Problem: Formalization and Algorithms. IEEE Transactions on Knowledge and Data Engineering\u00a010(5), 673\u2013685 (1998)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"6_CR8","unstructured":"Baker, A.B.: Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD Thesis, University of Oregon (March 1995)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Brito, I., Meseguer, P.: Synchronous, asynchronous and hybrid algorithms for DisCSP. In: Workshop on Distributed Constraints Reasoning (DCR 2004), Toronto, Canada (September 2004)","DOI":"10.1007\/978-3-540-30201-8_70"},{"key":"6_CR10","unstructured":"Gaschnig, J.: A general backtrack algorithm that eliminates most redundant checks. In: International Joint Conference on Artificial Intelligence, Menlo Park, p. 457 (1977)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R.M. Stallman","year":"1977","unstructured":"Stallman, R.M., Sussman, G.J.: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence\u00a09, 135\u2013196 (1977)","journal-title":"Artificial Intelligence"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1","volume":"1","author":"M.L. Ginsberg","year":"1993","unstructured":"Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research\u00a01, 25\u201346 (1993)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78153-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:48Z","timestamp":1619521188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78153-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781523","9783540781530"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78153-0_6","relation":{},"subject":[]}}