1120 search results - page 60 / 224 » A Formal Framework for Interactive Agents |
102
click to vote
ATAL
2007
Springer
14 years 11 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...
104
click to vote
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We have developed a general purpose use and modular architecture of an Embodied Conversational Agent (ECA) called Greta. Our 3D agent is able to communicate using verbal and nonve...
AAMAS
2006
Springer
14 years 10 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...
110
click to vote
CSFW
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...