3729 search results - page 148 / 746 » On Formal Modeling of Agent Computations |
181
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
177
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
159
click to vote
GPC
2010
Springer
15 years 8 months ago
2010
Springer
This paper advocated the use of ontology-supported website models to provide a semantic level solution for an information agent so that it can provide fast, precise, and stable que...
199
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
141
click to vote
ACII
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...