Sciweavers

4440 search results - page 310 / 888
» The space of design
Sort
View
INTERACT
2003
15 years 8 months ago
FMS - Flying Message Service: The Comeback of Carrier Pigeons
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
Magnus Nilsson, Magnus Johansson, Linda Sjödi...
IV
2003
IEEE
92views Visualization» more  IV 2003»
16 years 19 hour ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
MODELS
2009
Springer
16 years 1 months ago
Towards systematic ensuring well-formedness of software product lines
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich
IUI
2006
ACM
16 years 21 days ago
Splitting rules for graceful degradation of user interfaces
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
Murielle Florins, Francisco Montero Simarro, Jean ...
DAC
2003
ACM
16 years 7 months ago
Using a formal specification and a model checker to monitor and direct simulation
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
Serdar Tasiran, Yuan Yu, Brannon Batson