Sciweavers

841 search results - page 29 / 169
» A secure architectural description language for agent system...
Sort
View
126
Voted
POPL
2000
ACM
15 years 6 months ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
ICMAS
2000
15 years 3 months ago
Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
Hongsoon Yim, Kyehyun Cho, Sung Joo Park, Jongwoo ...
SERP
2007
15 years 3 months ago
An Architecture and System for Support of Cooperation in Multi-Agent Software Development
- There are many agent tools for facilitating professional programmers in developing multi-agent systems (MAS); however, not all of them can be easily used by users who are not pro...
Xuetao Niu, Boxun Zhang, Mihhail Matskin
JOT
2010
144views more  JOT 2010»
15 years 10 days ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
AAAI
2004
15 years 3 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis