3729 search results - page 37 / 746 » On Formal Modeling of Agent Computations |
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
111
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
107
click to vote
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
IJIT
2004
15 years 1 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
SAC
1997
ACM
15 years 4 months ago
1997
ACM