Abstract. HeCaSe2 is a multi-agent system that intends to help doctors to apply clinical guidelines to their patients in a semi-automatic fashion. HeCaSe2 agents need a lot of (sca...
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Ke...
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...