Transformational leadership within virtual teams: Examining the mediating influence of trust and role clarity for performance and knowledge sharing

Virtual teams differ from tradidonal, co-located teams in that they primarily communicate via informadon technolog}' such as email, video conferencing and web based coUaboradve environments rather than in a face-to-face medium. There has been a lack of empirical research into the influence that leadership has within virtual teams upon key outcomes such as performance and knowledge sharing. This paper examines antecedents of knowledge sharing and performance, namely role clarit)' and trust in a team leader. We predicted that transformadonal leadership would posidvely influence both performance and knowledge sharing within virtual teams. We also h^'pothesised that trust in a leader and role clarit)' would mediate both the associadon between transformadonal leadership and performance as well as the associadon between transformadonal leadership and knowledge sharing within virtual teams. Data was collected from a public sector organisadon using virtual teams, Pardcipants responded to a self-report quesdonnaire. Supervisor radngs of performance and knowledge sharing were also obtained. In general we found support for a posidve reladonship between transformadonal leadership and performance and knowledge sharing within virtual teams. Using mediated muldple regression, we found support for the mediadng role of trust in the leader and role clarit}' between transformadonal leadership and performance and knowledge sharing. Implicadons of the results are provided.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.