The PhotoArcs interface aims to enable easy and fun creation and manipulation of photo-narratives to encourage sharing and interaction. PhotoArcs leverages the benefits of existin...
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
This paper describes collaborative work between industry and academia aimed at supporting the design and assessment of a transcoding service to support mobile phone internet brows...
Elizabeth Uruchurtu, Ellie Lockley, Chris Roast, I...
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...