Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Constructing agents blackboard communication architecture based on graph theory
Computer Standards & Interfaces
pPDC blackboard broadcasting in agent-based distributed process control
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Hi-index | 0.00 |
Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...