{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:26Z","timestamp":1725487166394},"publisher-location":"London","reference-count":33,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852339982"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-84628-339-6_1","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:32:03Z","timestamp":1183401123000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Virtualization in Grids: A Semantical Approach"],"prefix":"10.1007","author":[{"given":"Zsolt","family":"N\u00e9meth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vaidy","family":"Sunderam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, High Level System Design and Analysis using Abstract State Machines, in Current Trends in Applied Formal Methods ed. by D. Hutter et al. (FM-Trends 98), LNCS 1641, (Springer, 1999), pp. 1\u201343","DOI":"10.1007\/3-540-48257-1_1"},{"key":"1_CR2","unstructured":"E. B\u00f6rger and R. St\u00e4rk, 5\/26\/2006 8:07AMAbstract State Machines, in A method for High-level System Design and Analysis (Springer, 2003)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger (ed.), Architecture Design and Validation Methods (Springer, 2000)","DOI":"10.1007\/978-3-642-57199-2"},{"key":"1_CR4","unstructured":"J. Basney and M. Livny, Deploying a High Throughput Computing Cluster, in High Performance Cluster Computing, chap. 5, vol. 1, ed. by R. Buyya (Prentice Hall, 1999)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"S.J. Chapin, D. Karmatos, J. Karpovich, and A. Grimshaw, The Legion Resource Management System, in Proc. of the 5th Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP\u2019 99), in conjunction with the International Parallel and Distributed Processing Symposium (IPDPS\u2019 99), April 1999","DOI":"10.1007\/3-540-47954-6_9"},{"key":"1_CR6","volume-title":"Proc. 10th IEEE International Symposium on High-Performance Distributed Computing (HPDC-10)","author":"K. Czajkowski","year":"2001","unstructured":"K. Czajkowski, S. Fitzgerald, I. Foster, and C. Kesselman, Grid Information Services for Distributed Resource Sharing, in Proc. 10th IEEE International Symposium on High-Performance Distributed Computing (HPDC-10), (IEEE Press, San Francisco, 2001)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"D.H.J. Epema, M. Livny, R. van Dantzig, X. Evers, and J. Pruyne, A Worldwide Flock of Condors: Load Sharing Among Workstation Clusters. Journal on Future Generations of Computer Systems 12 (1996)","DOI":"10.1016\/0167-739X(95)00035-Q"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"I. Foster, C. Kesselman, G. Tsudik, and S. Tuecke, A Security Architecture for Computational Grids, in Proc. of the 5th ACM Conference on Computer and Communication Security, November 1998","DOI":"10.1145\/288090.288111"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"I. Foster, C. Kesselman, and S. Tuecke, The Anatomy of the Grid. International Journal of Supercomputer Applications 15(3) (2001)","DOI":"10.1177\/109434200101500302"},{"key":"1_CR10","volume-title":"The Grid: Blueprint for a New Computing Infrastructure","author":"I. Foster","year":"1999","unstructured":"I. Foster and C. Kesselman, The Grid: Blueprint for a New Computing Infrastructure, (Morgan Kaufmann, San Francisco, 1999)"},{"key":"1_CR11","first-page":"259","volume-title":"The Grid: Blueprint for a New Computing Infrastructure","author":"I. Foster","year":"1999","unstructured":"I. Foster and C. Kesselman: The Globus Toolkit. In [10] pp. 259\u2013278."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.2002.1009167","volume":"6","author":"I. Foster","year":"2002","unstructured":"I. Foster, C. Kesselman, J.M. Nick, and S. Tuecke, Grid Services for Distributed System Integration, IEEE Computer (6), 37\u201346 (2002)","journal-title":"IEEE Computer"},{"key":"1_CR13","unstructured":"I. Foster, C. Kesselman, J.M. Nick, and S. Tuecke, Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration, in Open Grid Service Infrastructure WG, Global Grid Forum, June 22, 2002 http:\/\/www.globus.org\/research\/papers\/ogsa.pdf"},{"key":"1_CR14","unstructured":"I. Foster, What is the Grid? A Three Point Checklist, Grid Today 1(6) (2002) http:\/\/www.gridtoday.com\/02\/0722\/100136.html"},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM: Parallel Virtual Machine\u2014A User\u2019s Guide and Tutorial for Network Parallel Computing","author":"A. Geist","year":"1994","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, B. Manchek, and V. Sunderam, PVM: Parallel Virtual Machine\u2014A User\u2019s Guide and Tutorial for Network Parallel Computing (MIT, Cambridge, MA, 1994)"},{"key":"1_CR16","unstructured":"W. Gentzsch, Response to Ian Foster\u2019s \u201cWhat is the Grid?\u201d Grid Today 1(8) (2002) http:\/\/www.gridtoday.com\/02\/0805\/100191.html"},{"key":"1_CR17","unstructured":"A.S. Grimshaw, W.A. Wulf, J.C. French, A.C. Weaver, and P.F. Reynolds, Legion: The Next Logical Step Toward a Nationwide Virtual Computer, Technical report No. CS-94-21. June, 1994"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"A.S. Grimshaw and W.A. Wulf, Legion\u2014A View From 50,000 Feet, in Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing, Los Alamitos, CA, August 1996 (IEEE Press, 1996)","DOI":"10.1109\/HPDC.1996.546177"},{"key":"1_CR19","unstructured":"Grid Computing\u2014Today and Tomorrow: Another View, Grid Today 1(9) (2002) http:\/\/ www.gridtoday.com\/02\/0812\/100221.html"},{"issue":"6","key":"1_CR20","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1016\/0167-8191(96)00024-5","volume":"22","author":"W. Gropp","year":"1996","unstructured":"W. Gropp, E. Lusk, N. Doss, and A. Skjellum, A High-performance, Portable Implementation of the MPI Message Passing Interface Standard. Parallel Computing 22(6), 789\u2013828 (1996)","journal-title":"Parallel Computing"},{"key":"1_CR21","unstructured":"Y. Gurevich, Evolving Algebras 1993: Lipari Guide, in Specification and Valdation Methods, ed. by E. B\u00f6rger (Oxford University Press, 1995) pp. 9\u201336"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Y. Gurevich, Evolving Algebras: An Attempt to Discover Semantics, in Current Trends in Theoretical Computer Science, ed. by G. Rozenberg and A. Salomaa (World Scientific, 1993) pp. 266\u2013292","DOI":"10.1142\/9789812794499_0021"},{"key":"1_CR23","unstructured":"Y. Gurevich, May 1997 Draft of the ASM Guide http:\/\/www.eecs.umich.edu\/gasm\/papers\/guide97.html"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/S0304-3975(96)00315-5","volume":"1\u20132","author":"Y. Gurevich","year":"1997","unstructured":"Y. Gurevich and J.K. Huggins, Equivalence is in the Eye of Beholder. Theoretical Computer Science (1\u20132), 353\u2013380 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y. Gurevich","year":"2000","unstructured":"Y. Gurevich, Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"key":"1_CR26","unstructured":"M. Humprey, F. Knabbe, A. Ferrari, and A. Grimshaw, Accountability and Control of Process Creation in the Legion Metasystem, Proc. of the 2000 Network and Distributed System Security Symposium NDSS2000, San Diego, CA, February 2000"},{"key":"1_CR27","unstructured":"W.E. Johnston, A Different Perspective on the Question of What is a Grid? Grid Today 1(9) (2002) http:\/\/www.gridtoday.com\/02\/0812\/100217.html"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"E. Korpela, D. Werthimer, D. Anderson, J. Cobb, and M. Lebofsky, SETI@home: Massively Distributed Computing for SETI. Computing in Science and Engineering (1) (2001)","DOI":"10.1109\/5992.895191"},{"key":"1_CR29","unstructured":"G. Lindahl, A. Grimshaw, A. Ferrari, and K. Holcomb, Metacomputing\u2014What\u2019s in it for Me. White Paper. http:\/\/legion.virginia.edu\/papers.html"},{"issue":"1","key":"1_CR30","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1024011025052","volume":"1","author":"Zs. N\u00e9meth","year":"2003","unstructured":"Zs. N\u00e9meth and V. Sunderam, Characterizing Grids: Attributes, Definitions, and Formalisms, Journal of Grid Computing 1(1), 9\u201323 (2003)","journal-title":"Journal of Grid Computing"},{"key":"1_CR31","unstructured":"R. Raman and M. Livny, High Throughput Resource Management, chap 13 in [10]."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"R. St\u00e4rk, J. Schmid, and E. B\u00f6rger, Java and the Java Virtual Machine. Definition, Verification, Validation (Springer, 2001)","DOI":"10.1007\/978-3-642-59495-3"},{"key":"1_CR33","unstructured":"Sun Grid Engine, Enterprise Edition 5.3 Administration and User\u2019s Guide (2002)"}],"container-title":["Grid Computing: Software Environments and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-84628-339-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T20:35:12Z","timestamp":1683923712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-84628-339-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781852339982"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/1-84628-339-6_1","relation":{},"subject":[]}}