: This paper reviews two walkthrough methods for the web design practitioner to assess their web-based systems. Their relative advantages and weaknesses, and suggestions for web ev...
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
In this paper, I describe how various understandings of community activated the design of Dialup Radio, a mobile phonebased independent media distribution system for Zimbabwean ci...
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...