{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:53Z","timestamp":1725550013762},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240754"},{"type":"electronic","value":"9783540305552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30555-2_29","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:35:49Z","timestamp":1268382949000},"page":"244-254","source":"Crossref","is-referenced-by-count":0,"title":["Specifying a Mobile Computing Infrastructure and Services"],"prefix":"10.1007","author":[{"given":"Satyajit","family":"Acharya","sequence":"first","affiliation":[]},{"given":"Chris","family":"George","sequence":"additional","affiliation":[]},{"given":"Hrushikesha","family":"Mohanty","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"29_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/155848.155853","volume":"27","author":"B.R. Badrinath","year":"1993","unstructured":"Badrinath, B.R., et al.: Impact of Mobility on Distributed Computation. ACM SIGOS Operating System Review\u00a027(2), 15\u201320 (1993)","journal-title":"ACM SIGOS Operating System Review"},{"issue":"4","key":"29_CR2","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.274999","volume":"27","author":"G.H. Formen","year":"1994","unstructured":"Formen, G.H., et al.: The Challenges of Mobile Computing. IEEE Computer\u00a027(4), 38\u201347 (1994)","journal-title":"IEEE Computer"},{"key":"29_CR3","volume-title":"Proc. of the 30th Hawaii International Conference on System Sciences (HICSS 2003)","author":"S. Acharya","year":"2003","unstructured":"Acharya, S., Mohanty, H., Shyamasundar, R.K.: MOBICHART: A Notation to Specify Mobile Computing Applications. In: Proc. of the 30th Hawaii International Conference on System Sciences (HICSS 2003). IEEE, Los Alamitos (2003)"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"29_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statechart. ACM Trans. on Software Engg. & Method\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Trans. on Software Engg. & Method"},{"issue":"1","key":"29_CR6","first-page":"9","volume":"18","author":"D. Coleman","year":"1992","unstructured":"Coleman, D., et al.: Introducing Objectchart or How to Use Statecharts in Object-Oriented Design. IEEE Trans. on Software Engg.\u00a018(1), 9\u201318 (1992)","journal-title":"IEEE Trans. on Software Engg."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Mohanty, H., Acharya, S., Ghosh, R.K., Shyamasundar, R.K.: Mobichart for Modeling Mobile Computing Tasks. In: Convergent Technologies for the Asia-Pacific, Bangalore, India, October 14-17. IEEE TENCON, pp. 193\u2013197 (2003)","DOI":"10.1109\/TENCON.2003.1273313"},{"key":"29_CR8","unstructured":"George, C.: Introduction to RAISE. Technical Report 249, UNU\/IIST, P.O. Box 3058, Macau (March 2002)"},{"key":"29_CR9","unstructured":"George, C.: RAISE Tools User Guide. Technical Report 227, UNU\/IIST, P.O. Box 3058, Macau (February 2001)"},{"key":"29_CR10","unstructured":"Acharya, S., George, C.: Specifying a Mobile Computing Application Environment using RSL. Technical Report 300, UNU\/IIST, P.O. Box 3058, Macau (May 2004)"},{"key":"29_CR11","unstructured":"UNU\/IIST, P.O. Box 3058, Macau SAR, China, \n                      \n                        http:\/\/www.iist.unu.edu"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundation of Software Science & Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., et al.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"3","key":"29_CR13","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G.C. Roman","year":"1997","unstructured":"Roman, G.C., et al.: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. on Software Engg. & Method.\u00a06(3), 250\u2013282 (1997)","journal-title":"ACM Trans. on Software Engg. & Method."},{"key":"29_CR14","series-title":"LNCS","first-page":"51","volume-title":"Security Issues for Distributed & Mobile Objects","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. In: Security Issues for Distributed & Mobile Objects. LNCS, vol.\u00a01603, pp. 51\u201399. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30555-2_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:21:49Z","timestamp":1605741709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30555-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240754","9783540305552"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30555-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}