Agent-Based Autonomous Result Verification Mechanism in Desktop Grid Systems

被引:0
|
作者
Kim, HongSoo [2 ]
Gil, JoonMin [3 ]
Hwang, ChongSun [2 ]
Yu, HeonChang [1 ]
Joung, SoonYoung [1 ]
机构
[1] Korea Univ, Dept Comp Sci Educ, 1 5 Ga Anam Dong, Seoul 136701, South Korea
[2] Korea Univ, Dept Comp Sci & Engn, Seoul 136701, South Korea
[3] Catholic Univ Daegu, Dept Comp Sci Educ, Gyongsan 712702, Gyeongbuk, South Korea
来源
AGENTS AND PEER-TO-PEER COMPUTING | 2010年 / 5319卷
关键词
COMPUTING SYSTEMS;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we discuss the design of result verification in desktop grid systems. In this design, correctness and performance are considered as important issues. To guarantee the correctness of work results, sabotage-tolerant mechanisms have been mainly used, such as voting-based schemes and trust-based schemes. However, these mechanisms result in low scalability and high computation delay because they can not cope effectively with dynamic environments. In this paper, we propose a Sabotage-Tolerant Scheduling for Result Verification (STSRV), which is based on mobile agent technology. In STSRV, mobile agents are used to check periodically the credibility and availability of each volunteer. Using credibility and availability information, our desktop grid system can provide correctness of work results without a huge increase in the computation delay caused by result verification. Additionally, simulation results show that STSRV increases turnaround time for works from the viewpoint of credibility and availability, and thus enhances the overall performance of our desktop grid systems.
引用
收藏
页码:72 / +
页数:3
相关论文
共 50 条
  • [1] Agent-based autonomous scheduling mechanism using availability in desktop grid systems
    Kim, HongSoo
    Kim, SeockIn
    Byun, EunJoung
    Hwang, ChongSun
    Choi, JangWon
    CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 174 - +
  • [2] Result Verification Mechanism Based on Availability and Reputation of Resources in P2P Desktop Grid Systems
    Gil, Joon-Min
    Koo, Soo-Jin
    Choi, SungJin
    GRID AND DISTRIBUTED COMPUTING, CONTROL AND AUTOMATION, 2010, 121 : 105 - +
  • [3] Practical verification of decision-making in agent-based autonomous systems
    Dennis, Louise A.
    Fisher, Michael
    Lincoln, Nicholas K.
    Lisitsa, Alexei
    Veres, Sandor M.
    AUTOMATED SOFTWARE ENGINEERING, 2016, 23 (03) : 305 - 359
  • [4] Practical verification of decision-making in agent-based autonomous systems
    Louise A. Dennis
    Michael Fisher
    Nicholas K. Lincoln
    Alexei Lisitsa
    Sandor M. Veres
    Automated Software Engineering, 2016, 23 : 305 - 359
  • [5] Verification of Agent-Based Artifact Systems
    Belardinelli, Francesco
    Lomuscio, Alessio
    Patrizi, Fabio
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
  • [6] Verification and Planning in Agent-Based Systems
    Amato, Flora
    Mazzeo, Antonino
    Moscato, Francesco
    Pianese, Dario
    2015 11TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2015, : 782 - 788
  • [7] Verification of agent-based artifact systems
    20153401193365
    1600, AI Access Foundation (51):
  • [8] Agent-Based Autonomous Examination Systems
    Gawali, R. D.
    Meshram, B. B.
    IAMA: 2009 INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT & MULTI-AGENT SYSTEMS, 2009, : 7 - +
  • [9] Adaptive Result Verification Based on Fuzzy Inference Model in Desktop Grid Environments
    Gil, Joon-Min
    Park, Chan Yeol
    Jeong, Young-Sik
    JOURNAL OF INTERNET TECHNOLOGY, 2012, 13 (01): : 147 - 158
  • [10] Verification of Information Flow in Agent-Based Systems
    Sabri, Khair Eddin
    Khedri, Ridha
    Jaskolka, Jason
    E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266