共 50 条
- [31] Decidable Verification of Agent-Based Data-Aware Systems [J]. PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019), 2019, 11873 : 52 - 68
- [33] Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System [J]. ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 247 - 254
- [34] Agent-based software engineering and agent mediations [J]. HYBRID INFORMATION SYSTEMS, 2002, : 469 - 484
- [35] Verification of protocol conformance and agent interoperability [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 265 - 283
- [36] A SYNCHRONIZATION PROTOCOL FOR DISTRIBUTED AGENT-BASED SIMULATIONS WITH CONSTRAINED OPTIMISM [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 337 - 341
- [37] SETNR/A: An agent-based secure payment protocol for mobile commerce [J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2008, 4953 : 574 - 583
- [38] Interaction protocol design: Application to an agent-based teleteaching project [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2003, : 171 - 178
- [39] Agent-based auctions [J]. 5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 144 - 145