69 search results - page 4 / 14 » Deriving individual obligations from collective obligations |
SBIA
2004
Springer
15 years 2 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
87
Voted
ECOOPW
1999
Springer
15 years 1 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
The use of norms is a well-known technique of co-ordination in multi-agent systems (MAS) adopted from human societies. A normative position is the "social burden" associa...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
85
Voted
DRM
2006
Springer
15 years 1 months ago
2006
Springer
In high-tech businesses ranging from Internet service providers to e-commerce websites and music stores like Apple iTunes, there is considerable potential for collecting personal ...