762 search results - page 66 / 153 » Behavioural Models for Group Communications |
DALT
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Little is known about the impact of politeness in online communities. This project combines deductive and inductive approaches to automatically model linguistic politeness in onli...
AUSAI
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
AINA
2004
IEEE
14 years 25 days ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...