SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
HUC
2009
Springer
13 years 2 months ago
2009
Springer
We present two studies of participatory sensing in the wild, in which groups of young people used sensors to collect environmental data along with contextual information such as p...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
MM
2010
ACM
13 years 3 months ago
2010
ACM
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
BCSHCI
2009
13 years 6 months ago
2009
In this paper, we describe three key areas in the literature where sketching has been seen as being beneficial to designers. We applied this knowledge in the user interface design...
BCSHCI
2009
13 years 6 months ago
2009
This paper presents a system for the exploration of projected interfaces. We describe our Visible Imagination (VI) platform combining a camera, projector and torch (flashlight) al...
BCSHCI
2008
13 years 6 months ago
2008
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...
DOCENG
2008
ACM
13 years 6 months ago
2008
ACM
Many multimedia languages exist today to describe animated, interactive, 2D or 3D graphics and media elements, and each language has its merits. We studied the problems underlying...
ANCS
2007
ACM
13 years 8 months ago
2007
ACM
Next-generation Internet architectures require designs with inherent security guarantees. We present a network architecture that uses credentials to audit traffic in the data path...
CIKM
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we propose a novel energy-efficient approach, a localized routing tree (LRT) coupled with a route redirection (RR) strategy, to support various types of queries. LR...