In this paper we advocate the use of personal informatics systems for self-reflection on personal values. We describe the role values play as guiding principles in people’s lives. We then describe ValueSensitive Design, an approach to the... more
In this paper we advocate the use of personal informatics systems for self-reflection on personal values. We describe the role values play as guiding principles in people’s lives. We then describe ValueSensitive Design, an approach to the design of technology that aims to account for values throughout the design process. We subsequently argue that personal informatics, in its focus on self-reflection, is well-suited as a means for discovering and
The aim of this paper is to analyse and formalise the dynamics of trust in the light of experiences. A formal framework is introduced for the analysis and specification of models for trust evolution and trust update. Different properties... more
The aim of this paper is to analyse and formalise the dynamics of trust in the light of experiences. A formal framework is introduced for the analysis and specification of models for trust evolution and trust update. Different properties of these models are formally defined.
A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The... more
A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is illustrated for an example multi-agent system, consisting of co-operative information gathering agents. This application of the verification method results in a formal analysis of pro-activeness and reactiveness of agents.