4224 search results - page 65 / 845 » Reasoning about Choice |
83
Voted
ATAL
2003
Springer
15 years 4 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...
TOOLS
2010
IEEE
15 years 4 months ago
2010
IEEE
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
AGENTS
2001
Springer
15 years 3 months ago
2001
Springer
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...
83
Voted
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...