4595 search results - page 77 / 919 » Reasoning about Plans |
134
click to vote
ATAL
2003
Springer
15 years 10 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...
125
Voted
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
108
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
Ì × Ô Ô Ö Ú ÐÓÔ× Ò Ú ÐÙ Ø × Ò Û × ÓÒ Ø ÓÖ Ø Ö Ñ ÛÓÖ Ò Û ÙØÓÒÓÑÓÙ× ÒØ× Ò Ñ Ö Ø ÓÒ Ð Ó × ÓÙØ ÓÓÖ Ò Ø Ò Ø Ö Ø ÓÒ×...
134
click to vote
CONCUR
2001
Springer
15 years 9 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...