{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:24:27Z","timestamp":1726410267523},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_10","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T21:19:27Z","timestamp":1182374367000},"page":"184-202","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Real-Time Coordination Model for Mobile Computing"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Hackmann","sequence":"first","affiliation":[]},{"given":"Christopher","family":"Gill","sequence":"additional","affiliation":[]},{"given":"Gruia-Catalin","family":"Roman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Caltrans, the Institute of Transportation Studies\u00a0at UC\u00a0Berkely: California partners for advanced transit and highways (path), http:\/\/www-path.eecs.berkeley.edu"},{"key":"10_CR2","unstructured":"Army, U.S.: Future combat systems (fcs), http:\/\/www.army.mil\/fcs\/"},{"issue":"1","key":"10_CR3","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 Trans. Program. Lang. Syst.\u00a07(1), 80\u2013112 (1985), doi:10.1145\/2363.2433","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets mobility. In: Proc. of the 21 st Int\u2019l. Conf. on Software Engineering, May (1999)","DOI":"10.1145\/302405.302659"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-540-24634-3_12","volume-title":"Coordination Models and Languages","author":"C.-L. Fok","year":"2004","unstructured":"Fok, C.-L., Roman, G.-C., Hackmann, G.: A lightweight coordination middleware for mobile computing. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 135\u2013151. Springer, Heidelberg (2004)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-45263-X_6","volume-title":"Coordination Languages and Models","author":"J.-M. Jacquet","year":"2000","unstructured":"Jacquet, J.-M., De Bosschere, K., Brogi, A.: On timed coordination languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 81\u201398. Springer, Heidelberg (2000)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/773184.773188","volume-title":"3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP \u201901)","author":"F.S. Boer de","year":"2001","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: A denotational semantics for timed linda. In: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (PPDP \u201901), Florence, Italy, pp. 28\u201336. ACM Press, New York (2001), doi:10.1145\/773184.773188"},{"key":"10_CR8","volume-title":"Third International Conference on Application of Concurrency to System Design (ACSD \u201903)","author":"M.R. Mousavi","year":"2003","unstructured":"Mousavi, M.R., Reniers, M., Basten, T., Chaudron, M.: Separation of concerns in the formal design of real-time shared data-space systems. In: Third International Conference on Application of Concurrency to System Design (ACSD \u201903), Guimaraes, Portugal, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11767954_17","volume-title":"Coordination Models and Languages","author":"G.-C. Roman","year":"2006","unstructured":"Roman, G.-C., Handorean, R., Sen, R.: Tuple space coordination across space and time. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 266\u2013280. Springer, Heidelberg (2006)"},{"key":"10_CR10","unstructured":"Kordon, F., Sztipanovits, J.: The monterey workshop series (2005 theme: Workshop on networked systems: realization of reliable systems on top of unreliable networked platforms) (2005), http:\/\/www-src.lip6.fr\/homepages\/Fabrice.Kordon\/Monterey\/objectives.html"},{"issue":"7","key":"10_CR11","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/5.871301","volume":"88","author":"R. Horowitz","year":"2000","unstructured":"Horowitz, R., Varaiya, P.: Control design of an automated highway system. Proceedings of the IEEE\u00a088(7), 913\u2013925 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"R. Handorean","year":"2003","unstructured":"Handorean, R., Roman, G.-C.: Secure Service Provision in Ad Hoc Networks. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, Springer, Heidelberg (2003)"},{"key":"10_CR13","unstructured":"Jones, M.: What really happened on Mars? (1997), http:\/\/www.research.microsoft.com\/~mbj\/Mars_Pathfinder\/Mars_Pathfinder.html"},{"key":"10_CR14","volume-title":"Proceedings of the 18th IEEE\/AIAA Digital Avionics Systems Conference (DASC)","author":"B.S. Doerr","year":"1999","unstructured":"Doerr, B.S., Venturella, T., Jha, R., Gill, C.D., Schmidt, D.C.: Adaptive Scheduling for Real-time, Embedded Information Systems. In: Proceedings of the 18th IEEE\/AIAA Digital Avionics Systems Conference (DASC), St. Louis, Missouri, Oct.1999, IEEE, Los Alamitos (1999)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Gill, C., Schmidt, D.C., Cytron, R.: Multi-Paradigm Scheduling for Distributed Real-time Embedded Computing. IEEE Proceedings, Special Issue on Modeling and Design of Embedded Software\u00a091(1) (2003)","DOI":"10.1109\/JPROC.2002.805822"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Gill, C.D., Gossett, J.M., Corman, D., Loyall, J.P., Schantz, R.E., Atighetchi, M., Schmidt, D.C.: Integrated Adaptive QoS Management in Middleware: An Empirical Case Study. Journal of Real-time Systems\u00a024 (2005)","DOI":"10.1007\/s11241-005-6881-1"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:01Z","timestamp":1605762961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_10","relation":{},"subject":[]}}