Infrastructure Support for Agent-Based Development
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A Formal Architecture for the 3APL Agent Programming Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Integrate software agents and CORBA in computational grid
Computer Standards & Interfaces - CORBA: protocols, applications, process models and standards
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
The use of economic agents under price driven mechanism in grid resource management
Journal of Systems Architecture: the EUROMICRO Journal
Agent framework to support the computational grid
Journal of Systems and Software
Hi-index | 0.00 |
One of the key problems of recent years has been the divide between theoretical work in agent based systems and its practical complement which have, to a large extent, developed along different paths. The Paradigma implementation framework has been designed with the aim of narrowing this gap. It relies on an extensive formal agent framework implemented using recent advances in Java technology. Specifically, Paradigma uses Jini connectivity technology to enable the creation of online communities in support of the development of agent based systems.