This paper introduces the Memetic toolkit for recording meetings held over Internet-based video conferencing technologies, and making these navigable in linear and nonlinear ways....
Danius T. Michaelides, Simon Buckingham Shum, Ben ...
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
It is argued in this position paper that a workflow management system is potentially a powerful solution to bring more flexibility to the management of business processes. At the ...
Debugging grid systems is complex, mainly because of the probe effect and non reproducible execution. The probe effect arises when an attempt to monitor a system changes the behav...
In this paper we present a trust-oriented method that can be used when building P2P recommender systems. We discuss its benefits in comparison to centralized solutions, its requir...
The goal of the ProFlex workshop is to bring together practitioners and researchers from different communities who share an interest in flexibility of process-aware information s...