144 search results - page 4 / 29 » Modeling conversation policies using permissions and obligat... |
97
Voted
CLIMA
2004
14 years 11 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
DALT
2006
Springer
15 years 1 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
72
Voted
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
IEEEIAS
2007
IEEE
15 years 3 months ago
2007
IEEE
: Achieving privacy preservation in a data-sharing computing environment is becoming a challenging problem. Some organisations may have published privacy policies, which promise pr...
JCS
2010
14 years 8 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...