Sciweavers

1540 search results - page 21 / 308
» Deceptive agents and language
Sort
View
IFIP
1998
Springer
14 years 3 days ago
Security Requirements for Mobile Agents in Electronic Markets
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
Michael Zapf, Helge Müller, Kurt Geihs
AAAI
1998
13 years 9 months ago
A Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
Phan Minh Dung
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 11 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
DAGSTUHL
2007
13 years 9 months ago
Norms of Conversation in a Framework for Agent Communication Languages
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
Rodrigo Agerri
ATAL
2005
Springer
14 years 1 months ago
Agent synthesis: partnership and agreement in cooperative mobile agents
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshiok...