When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
In this paper we discuss a real world problem encountered during recent fieldwork: that of providing information in public settings when the information has both public and privat...
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
Timothy N. Wright, T. C. Nicholas Graham, Tore Urn...
The rapid advancement of World Wide Web (Web) technology and constant need for attractive Websites produce pages that hinder visually impaired users. We assert that understanding ...