{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:09:43Z","timestamp":1725599383122},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642228742"},{"type":"electronic","value":"9783642228759"}],"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-22875-9_8","type":"book-chapter","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T23:29:18Z","timestamp":1312414158000},"page":"87-98","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Deadlock Handling for Resource Allocation in Smart Spaces"],"prefix":"10.1007","author":[{"given":"Rehan Abdul","family":"Aziz","sequence":"first","affiliation":[]},{"given":"Tomi","family":"Janhunen","sequence":"additional","affiliation":[]},{"given":"Vesa","family":"Luukkala","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Aziz, R.A.: Testing scalability of SSLS rule engine, \n                      \n                        http:\/\/sourceforge.net\/projects\/ssls\/files\/raaziz11.pdf"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K. Chandy","year":"1983","unstructured":"Chandy, K., Misra, J., Haas, L.: Distributed deadlock detection. ACM Trans. Comput. Syst.\u00a01(2), 144\u2013156 (1983)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR4","first-page":"307","volume":"14","author":"A. Elmagarmid","year":"1985","unstructured":"Elmagarmid, A., Sheth, A., Liu, M.: A partially distributed deadlock detection algorithm. International Journal of Parallel Programming\u00a014, 307\u2013330 (1985)","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Fr\u00e4mling, K., Oliver, I., Honkola, J., Nyman, J.: Smart spaces for ubiquitously smart buildings. In: Proceedings of the 3rd International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2009) (October 2009)","DOI":"10.1109\/UBICOMM.2009.62"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-04190-7_3","volume-title":"Smart Spaces and Next Generation Wired\/Wireless Networking","author":"J. Honkola","year":"2009","unstructured":"Honkola, J., Laine, H., Brown, R., Oliver, I.: Cross-domain interoperability: A case study. In: Balandin, S., Moltchanov, D., Koucheryavy, Y. (eds.) ruSMART 2009. LNCS, vol.\u00a05764, pp. 22\u201331. Springer, Heidelberg (2009)"},{"issue":"2","key":"8_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s007780050075","volume":"8","author":"N. Krivokapic","year":"1999","unstructured":"Krivokapic, N., Kemper, A., Gudes, E.: Deadlock detection in distributed database systems: A new algorithm and a comparative performance analysis. VLDB J.\u00a08(2), 79\u2013100 (1999)","journal-title":"VLDB J."},{"key":"8_CR8","unstructured":"Lassila, O.: Programming Semantic Web Applications: A Synthesis of Knowledge Representation and Semi-Structured Data. PhD thesis, Helsinki University of Technology (November 2007)"},{"key":"8_CR9","first-page":"25","volume-title":"Proceedings of the 16th International Conference on Logic Programming","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer set planning. In: Proceedings of the 16th International Conference on Logic Programming, pp. 25\u201337. MIT Press, Cambridge (1999)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Luukkala, V., Binnema, D.-J., Borzsei, M., Corongiu, A., Hyttinen, P.: Experiences in implementing a cross-domain use case by combining semantic and service level platforms. In: Proceedings of the The IEEE symposium on Computers and Communications, ISCC 2010, pp. 1071\u20131076 (2010)","DOI":"10.1109\/ISCC.2010.5546640"},{"key":"8_CR11","first-page":"92","volume-title":"Proceedings of the Third Conference on Smart Spaces and Next Generation Wired, and 10th International Cconference on Wireless Networking, SMART\/NEW2AN 2010","author":"V. Luukkala","year":"2010","unstructured":"Luukkala, V., Honkola, J.: Integration of an answer set engine to SMART-M3. In: Proceedings of the Third Conference on Smart Spaces and Next Generation Wired, and 10th International Cconference on Wireless Networking, SMART\/NEW2AN 2010, pp. 92\u2013101. Springer, Heidelberg (2010)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-16289-3_9","volume-title":"Semantic Web Rules","author":"V. Luukkala","year":"2010","unstructured":"Luukkala, V., Niemel\u00e4, I.: Enhancing a smart space with answer set programming. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 89\u2013103. Springer, Heidelberg (2010)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"W. Marek","year":"1999","unstructured":"Marek, W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TSE.1979.234181","volume":"5","author":"D. Menasc\u00e9","year":"1979","unstructured":"Menasc\u00e9, D., Muntz, R.: Locking and deadlock detection in distributed data bases. IEEE Trans. Software Eng.\u00a05(3), 195\u2013202 (1979)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3-4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell.\u00a025(3-4), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"8_CR16","unstructured":"OpenM3 release, \n                      \n                        http:\/\/sourceforge.net\/projects\/smart-m3\/"},{"key":"8_CR17","unstructured":"Web ontology language, \n                      \n                        http:\/\/www.w3.org\/2004\/OWL\/"},{"key":"8_CR18","unstructured":"Resource description framework, \n                      \n                        http:\/\/www.w3.org\/RDF\/"},{"key":"8_CR19","unstructured":"RDF vocabulary description language, \n                      \n                        http:\/\/www.w3.org\/TR\/rdf-schema"},{"issue":"11","key":"8_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Singhal","year":"1989","unstructured":"Singhal, M.: Deadlock detection in distributed systems. Computer\u00a022(11), 37\u201348 (1989)","journal-title":"Computer"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-04190-7_5","volume-title":"Smart Spaces and Next Generation Wired\/Wireless Networking","author":"A. Smirnov","year":"2009","unstructured":"Smirnov, A., Kashevnik, A., Shilov, N., Oliver, I., Balandin, S., Boldyrev, S.: Anonymous agent coordination in smart spaces: State-of-the-art. In: Balandin, S., Moltchanov, D., Koucheryavy, Y. (eds.) ruSMART 2009. LNCS, vol.\u00a05764, pp. 42\u201351. Springer, Heidelberg (2009)"},{"key":"8_CR22","unstructured":"SOFIA project, \n                      \n                        http:\/\/www.sofia-project.eu"},{"key":"8_CR23","unstructured":"W3C recommendation: SPARQL query language for RDF"},{"issue":"3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M. Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the twenty-first century. Scientific American\u00a0265(3), 94\u2013104 (1991)","journal-title":"Scientific American"}],"container-title":["Lecture Notes in Computer Science","Smart Spaces and Next Generation Wired\/Wireless Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22875-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T20:02:18Z","timestamp":1553976138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22875-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642228742","9783642228759"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22875-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}