• DocumentCode
    2207070
  • Title

    A Formal Method of Volunteer Computing

  • Author

    Wang Yu ; Wang, Zhijian ; Zhou Fanfan

  • Author_Institution
    Coll. of Comput. & Inf. Eng., Hohai Univ., Nanjing, China
  • fYear
    2009
  • fDate
    26-28 Dec. 2009
  • Firstpage
    5
  • Lastpage
    8
  • Abstract
    This paper aims to provide a formal abstraction of Volunteer computing system. At first, we identify three key roles of Volunteer resources. Then, a formal model and method concerning volunteers are introduced. We apply this model to describe Volunteer computing systems. Relationships among elements and relationship changes are also characterized, based on agent and components. All of the results can help to make a substantial foundation on the research of formalisms for Volunteer resource.
  • Keywords
    Internet; formal specification; formal method; volunteer computing; volunteer resources; Access control; Art; Business; Computed tomography; Educational institutions; Hardware; Information science; Internet; Personal communication networks; Software packages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Science and Engineering (ICISE), 2009 1st International Conference on
  • Conference_Location
    Nanjing
  • Print_ISBN
    978-1-4244-4909-5
  • Type

    conf

  • DOI
    10.1109/ICISE.2009.34
  • Filename
    5454496
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2207070