{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:38Z","timestamp":1725514718520},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682646"},{"type":"electronic","value":"9783540682653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68265-3_3","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T15:35:39Z","timestamp":1212593739000},"page":"33-49","source":"Crossref","is-referenced-by-count":2,"title":["Service Combinators for Farming Virtual Machines"],"prefix":"10.1007","author":[{"given":"Karthikeyan","family":"Bhargavan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iman","family":"Narasamdya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"AppLogic: Grid Operating System for Utility Computing. 3TERA (September 2006), http:\/\/0301.netclime.net\/1_5\/8\/A\/8\/3teraAppLogic0906.pdf"},{"key":"3_CR2","unstructured":"Amazon Elastic Compute Cloud (Amazon EC2) - Limited Beta. Amazon Web Services LLC (August 2006), http:\/\/aws.amazon.com\/ec2"},{"key":"3_CR3","unstructured":"Anderson, P.: Towards a High-Level Machine Configuration System. In: Proceedings of the 8th Large Installations Systems Administration (LISA) Conference, Berkeley, CA, pp. 19\u201326 (1994)"},{"key":"3_CR4","volume-title":"Professional Microsoft Virtual Server 2005","author":"B. Armstrong","year":"2007","unstructured":"Armstrong, B.: Professional Microsoft Virtual Server 2005. Wiley, Chichester (2007)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: Symposium on Operating Systems Principles (SOSP 2003), pp. 164\u2013177 (2003)","DOI":"10.1145\/945445.945462"},{"key":"3_CR6","unstructured":"Bavier, A., Chun, B., Culler, D., Karlin, S., Muir, S., Peterson, L., Roscoe, T., Spalink, T., Wawrzoniak, M.: Operating system support for planetary-scale network services. In: NSDI 2004 (2004)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Tse, S.: Verified interoperable implementations of security protocols. In: 19th IEEE Computer Security Foundations Workshop (CSFW 2006), pp. 139\u2013152 (2006)","DOI":"10.1109\/CSFW.2006.32"},{"key":"3_CR8","unstructured":"Bhargavan, K., Gordon, A.D., Narasamdya, I.: Service combinators for farming virtual machines. Technical Report MSR\u2013TR\u20132007\u2013165, Microsoft Research (2007)"},{"key":"3_CR9","unstructured":"Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H., Thatte, S., Winer, D.: Simple Object Access Protocol (SOAP) 1.1 (2000)"},{"key":"3_CR10","unstructured":"Carpineti, S., Laneve, C., Padovani, L.: Piduce\u2014a project for experimenting web services technologies (2006), http:\/\/www.cs.unibo.it\/PiDuce\/"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.11.005","volume":"201","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Vitek, J., Zappa Nardelli, F.: The seal calculus. Information and Computation\u00a0201(1), 1\u201354 (2005)","journal-title":"Information and Computation"},{"key":"3_CR12","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001)"},{"key":"3_CR13","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: Sixth Symposium on Operating System Design and Implementation (OSDI 2004), pp. 137\u2013150 (2004)"},{"key":"3_CR14","unstructured":"Garfinkel, S.: Commodity grid computing with Amazon\u2019s S3 and EC2. login, 7\u201313 (February 2007)"},{"key":"3_CR15","unstructured":"Goldsack, P., Guijarro, J., Lain, A., Mecheneau, G., Murray, P., Toft, P.: SmartFrog: Configuration and automatic ignition of distributed applications, 2003. In: Presented at 2003 HP Openview University Association conference (2003), http:\/\/www.hpl.hp.com\/research\/smartfrog\/"},{"key":"3_CR16","unstructured":"Gordon, A.D.: V for Virtual. In: Algebraic Process Calculi: The First Twenty Five Years and Beyond, pp. 114\u2013117 (2005) (Available as BRICS Note NS\u201305\u20133, University of Aarhus)"},{"key":"3_CR17","unstructured":"Hoykhet, A., Lange, J., Dinda, P.: Virtuoso: A system for virtual machine marketplaces. Technical Report NWU-CS-04-39, Northwestern University, URL (2004), http:\/\/virtuoso.cs.northwestern.edu\/NWU-CS-04-39.pdf"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-69611-7_18","volume-title":"Practical Aspects of Declarative Languages","author":"L. Huang","year":"2006","unstructured":"Huang, L., Hudak, P., Peterson, J.: HPorter: Using Arrows to Compose Parallel Processes. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 275\u2013289. Springer, Heidelberg (2006)"},{"key":"3_CR19","unstructured":"Preboot Execution Environment (PXE) Specification. Intel Corporation and SystemSoft (1999), available at http:\/\/www.pix.net\/software\/pxeboot\/archive\/pxespec.pdf"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Lienhardt, M., Schmitt, A., Stefani, J.-B.: OZ\/K: A kernel language for component-based open programming. In: Generative Programming and Component Engineering (GPCE 2007) (2007)","DOI":"10.1145\/1289971.1289980"},{"issue":"3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1147\/sj.93.0199","volume":"9","author":"R.A. Meyer","year":"1970","unstructured":"Meyer, R.A., Seawright, L.H.: A virtual machine time-sharing system. IBM Systems Journal\u00a09(3), 199\u2013218 (1970)","journal-title":"IBM Systems Journal"},{"key":"3_CR23","unstructured":"Nagaraja, K., Oliveira, F., Bianchini, R., Martin, R.P., Nguyen, T.D.: Understanding and dealing with operator mistakes in internet services. In: OSDI 2004: Proceedings of the 6th Symposium on Operating Systems Design & Implementation, Berkeley, CA, USA, pp. 61\u201376, USENIX Association (2004)"},{"key":"3_CR24","unstructured":"Oppenheimer, D., Ganapathi, A., Patterson, D.A.: Why do Internet services fail, and what can be done about it? In: 4th Usenix Symposium on Internet Technologies and Systems (USITS 2003) (2003)"},{"key":"3_CR25","unstructured":"Pallmann, D.: Programming Indigo: The Code Name for the Unified Framework for Building Service-Oriented Applications on the Microsoft Windows Platform. Microsoft Press (2005)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A. Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.-B.: The Kell calculus: A family of higher-order distributed process calculi. In: Global Computing. LNCS, pp. 146\u2013178. Springer, Heidelberg (2005)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Syme, D., Granicz, A., Cisternino, A.: Expert F#. Apress (2007)","DOI":"10.1007\/978-1-4302-0285-1"},{"key":"3_CR28","unstructured":"Wolf, C., Halter, E.M.: Virtualization: from the desktop to the enterprise. Apress (2005)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68265-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:46:25Z","timestamp":1620017185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68265-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682646","9783540682653"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68265-3_3","relation":{},"subject":[]}}