— This paper considers the problem of finding the path with minimum (zero) worst possible number of errors in a network with V nodes where (1) some nodes are capable of correcti...
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 ...
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
For experience-driven design to become an influential design strategy, much effort should be put into method development and elaborate case studies. In the present paper, we prese...