Our work with communities in developing countries suggests that HCI practice is a long way from maturity in these contexts. With this SIG, we are seeking to build on a CHI2007 work...
Mike Best, Andrew M. Dearden, Susan M. Dray, Ann L...
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
In early 2008, Pyxis Technologies was contracted in the third of a series of projects distributed between Canada and France. This project dwarfed its predecessors in scope and com...
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
Christopher A. Beer, Peter D. Pinch, Karen Cariani