共 50 条
- [1] Specification and verification of a dynamic reconfiguration protocol for agent-based applications [J]. NEW DEVELOPMENTS IN DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, 2001, 70 : 229 - 242
- [2] Exploring vulnerabilities of agent-based IDS: The need for agent self-defence [J]. EC2ND 2005, PROCEEDINGS, 2006, : 177 - +
- [3] Verification of Agent-Based Artifact Systems [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 51 : 333 - 376
- [4] Agent-based schedule validation and verification [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 616 - 621
- [6] Verification and Planning in Agent-Based Systems [J]. 2015 11TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2015, : 782 - 788
- [7] Verification of Information Flow in Agent-Based Systems [J]. E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266
- [8] Agent-based Model Checking Verification Framework [J]. 2012 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS 2012), 2012, : 233 - 236
- [9] Agent-based Security System for User Verification [J]. 2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, 2009, : 331 - 334
- [10] Specification and Verification of an Agent-Based Auction Service [J]. INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 239 - +