7 search results - page 2 / 2 » Towards Interoperable Mechanized Reasoning Systems: the Logi... |
LOGCOM
2002
13 years 7 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
COOPIS
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...