{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:36Z","timestamp":1725514896184},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731306"},{"type":"electronic","value":"9783540731313"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73131-3_2","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T12:08:15Z","timestamp":1187698095000},"page":"21-40","source":"Crossref","is-referenced-by-count":1,"title":["On Developing Open Mobile Fault Tolerant Agent Systems"],"prefix":"10.1007","author":[{"given":"Budi","family":"Arief","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda Meets Mobility. In: Proceedings of 21st Int. Conference on Software Engineering (ICSE 1999), pp. 368\u2013377 (1999)","key":"2_CR2","DOI":"10.1145\/302405.302659"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G.L., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/298151.298231","volume-title":"SAC \u201999: Proceedings of the 1999 ACM symposium on Applied computing","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Tuple Centres for the Coordination of Internet Agents. In: SAC \u201999: Proceedings of the 1999 ACM symposium on Applied computing, San Antonio, Texas, United States, pp. 183\u2013190. ACM Press, New York (1999), doi:10.1145\/298151.298231"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-45647-3_13","volume-title":"Mobile Agents","author":"L. Bettini","year":"2001","unstructured":"Bettini, L., De Nicola, R.: Translating Strong Mobility into Weak Mobility. In: Picco, G.P. (ed.) MA 2001. LNCS, vol.\u00a02240, pp. 182\u2013197. Springer, Heidelberg (2001)"},{"key":"2_CR6","first-page":"81","volume-title":"Software Fault Tolerance","author":"F. Cristian","year":"1995","unstructured":"Cristian, F.: Exception Handling and Fault Tolerance of Software Faults. In: Lyu, M. (ed.) Software Fault Tolerance, pp. 81\u2013107. Wiley, Hoboken (1995)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/COMPSAC.2005.73","volume-title":"Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005)","author":"A. Iliasov","year":"2005","unstructured":"Iliasov, A., Romanovsky, A.: Exception Handling in Coordination-based Mobile Environments. In: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), pp. 341\u2013350. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.-C. Roman","year":"2004","unstructured":"Roman, G.-C., Julien, C., Payton, J.: A Formal Treatment of Context-Awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 12\u201336. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Satoh, I.: MobileSpaces: A Framework for Building Adaptive Distributed Applications using a Hierarchical Mobile Agent System. In: Proceedings of the ICDCS 2000, pp. 161\u2013168 (2000)","key":"2_CR9","DOI":"10.1109\/ICDCS.2000.840918"},{"doi-asserted-by":"crossref","unstructured":"Merrick, I., Wood, A.: Coordination with Scopes. In: Proceedings of the ACM Symposium on Applied Computing, pp. 210\u2013217 (2000)","key":"2_CR10","DOI":"10.1145\/335603.335747"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11818502_10","volume-title":"Advanced Topics in Exception Handling Techniques","author":"A. Iliasov","year":"2006","unstructured":"Iliasov, A., Romanovsky, A.: Structured Coordination Spaces for Fault Tolerant Mobile Agents. In: Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A.R. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol.\u00a04119, pp. 181\u2013199. Springer, Heidelberg (2006)"},{"key":"2_CR12","first-page":"304","volume-title":"Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS\u201902)","author":"A. Tripathi","year":"2002","unstructured":"Tripathi, A., Miller, R.: Exception Handling in Agent-oriented Systems. In: Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS\u201902), Osaka University, Suita, Japan, pp. 304\u2013315. ACM Press, New York (2002)"},{"issue":"5","key":"2_CR13","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/265943.265972","volume":"19","author":"P. Roy van","year":"1997","unstructured":"van Roy, P., Haridi, S., Brand, P., Smalka, G., Mehl, M., Scheidhauer, R.: Mobile Objects in Distributed Oz. ACM Transactions on Programming Languages and Systems\u00a019(5), 804\u2013851 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Iliasov, A.: Implementation of Cama Middleware, http:\/\/sourceforge.net\/projects\/cama (Last accessed: 3 Jan. 2007)","key":"2_CR14"},{"key":"2_CR15","volume-title":"Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC 2005)","author":"D. Balzarotti","year":"2005","unstructured":"Balzarotti, D., Costa, P.: LighTS: A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications. In: Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC 2005), ACM Press, New York (2005), http:\/\/lights.sourceforge.net\/ (Last accessed: 3 Jan. 2007)"},{"unstructured":"IBM: TSpaces, http:\/\/www.almaden.ibm.com\/cs\/TSpaces\/ (Last accessed: 3 Jan. 2007)","key":"2_CR16"},{"unstructured":"GigaSpaces: Grid Computing - Distributed Computing Application Server, http:\/\/www.gigaspaces.com\/ (Last accessed: 3 Jan. 2007)","key":"2_CR17"},{"unstructured":"Troubitsyna, E. (ed.): Rodin Deliverable D18: Intermediate Report on Case Study Development. Project IST-511599, School of Computing Science, University of Newcastle (2006)","key":"2_CR18"},{"issue":"10","key":"2_CR19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/MC.2004.149","volume":"37","author":"W.G. Griswold","year":"2004","unstructured":"Griswold, W.G., Shanahan, P., Brown, S.W., Boyer, R., Ratto, M., Shapiro, R.B., Truong, T.M.: ActiveCampus - Experiments in Community-Oriented Ubiquitous Computing. IEEE Computer\u00a037(10), 73\u201381 (2004), http:\/\/activecampus.ucsd.edu\/ (Last accessed: 3 Jan. 2007)","journal-title":"IEEE Computer"},{"key":"2_CR20","first-page":"477","volume-title":"Computer Support for Collaborative Learning 2003","author":"M. Ratto","year":"2003","unstructured":"Ratto, M., Shapiro, R.B., Truong, T.M., Griswold, W.G.: The ActiveClass Project: Experiments in Encouraging Classroom Participation. In: Computer Support for Collaborative Learning 2003, pp. 477\u2013486. Kluwer Academic Publishers, Dordrecht (2003)"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1207\/S15327590IJHC1302_10","volume":"13","author":"G. Gay","year":"2001","unstructured":"Gay, G., Stefanone, M., Grace-Martin, M., Hembrooke, H.: The Effects of Wireless Computing in Collaborative Learning Environments. International Journal of Human-Computer Interaction\u00a013(2), 257\u2013276 (2001)","journal-title":"International Journal of Human-Computer Interaction"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02948592","volume":"7","author":"R.J. Dufresne","year":"1996","unstructured":"Dufresne, R.J., Gerace, W.J., Leonard, W.J., Mestre, J.P., Wenk, L.: Classtalk: A Classroom Communication System for Active Learning. Journal of Computing in Higher Education\u00a07, 3\u201347 (1996)","journal-title":"Journal of Computing in Higher Education"},{"unstructured":"Arief, B., Coleman, J., Hall, A., Hilton, A., Iliasov, A., Johnson, I., Jones, C., Laibinis, L., Leppanen, S., Oliver, I., Romanovsky, A., Snook, C., Troubitsyna, E., Ziegler, J.: Rodin Deliverable D4: Traceable Requirements Document for Case Studies. Technical report, Project IST-511599, School of Computing Science, University of Newcastle (2005)","key":"2_CR23"},{"key":"2_CR24","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"doi-asserted-by":"crossref","unstructured":"Iliasov, A., Laibinis, L., Romanovsky, A., Troubitsyna, E.: Towards Formal Development of Mobile Location-based Systems. Presented at REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems, Newcastle Upon Tyne, UK (June 2005), http:\/\/rodin.cs.ncl.ac.uk\/events.htm","key":"2_CR25","DOI":"10.1007\/11916246_13"},{"unstructured":"Rodin: Rigorous Open Development Environment for Complex Systems. IST FP6 STREP project, http:\/\/rodin.cs.ncl.ac.uk\/ (Last accessed: 3 Jan. 2007)","key":"2_CR26"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Multi-Agent Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73131-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:03:27Z","timestamp":1619503407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73131-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540731306","9783540731313"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73131-3_2","relation":{},"subject":[]}}