1188 search results - page 1 / 238 » Design space exploration revisited |
AIEDAM
2006
13 years 5 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
GRAPHICSINTERFACE
2004
2004
Revisiting Display Space Management: Understanding Current Practice to Inform Next-generation Design
13 years 6 months ago
Most modern computer systems allow the user to control the space allocated to interfaces through a window system. While much of the understanding of how people interact with windo...
IJHCI
2000
13 years 4 months ago
2000
CAV
1992
Springer
13 years 9 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
CHI
2009
ACM
14 years 5 months ago
2009
ACM
The Web is a dynamic, ever-changing collection of information accessed in a dynamic way. This paper explores the relationship between Web page content change (obtained from an hou...