Institutional trust is necessary for inter-organizational relationships in e-commerce. Two types of institutional trust are herein proposed (a) third-party institution-based trust...
We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...
: We consider socio-technical processes, i.e. processes where machines as well as humans participate. Typical examples occur in sales processes in e-commerce. Three modeling tasks ...
Transparency can be used to increase the visibility of a user’s workspace in situations where the space is obscured by floating windows and tool palettes. Dynamic transparency t...
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...