共 50 条
- [1] Agent-based autonomous scheduling mechanism using availability in desktop grid systems 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 GRID AND DISTRIBUTED COMPUTING, CONTROL AND AUTOMATION, 2010, 121 : 105 - +
- [4] Practical verification of decision-making in agent-based autonomous systems Automated Software Engineering, 2016, 23 : 305 - 359
- [5] Verification of Agent-Based Artifact Systems JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
- [6] Verification and Planning in Agent-Based Systems 2015 11TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2015, : 782 - 788
- [8] Agent-Based Autonomous Examination Systems 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 JOURNAL OF INTERNET TECHNOLOGY, 2012, 13 (01): : 147 - 158
- [10] Verification of Information Flow in Agent-Based Systems E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266