1117 search results - page 65 / 224 » A Compliance Model of Trust |
101
Voted
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
109
Voted
CISSE
2008
Springer
15 years 3 months ago
2008
Springer
119
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
ITRUST
2005
Springer
15 years 7 months ago
2005
Springer
The importance of risk in trust-based systems is well established. This paper presents a novel model of risk and decision-making based on economic theory. Use of the model is illus...
117
Voted
AIPS
2010
15 years 4 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...