9110 search results - page 337 / 1822 » Formally-Based Design Evaluation |
162
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
161
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
163
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
As a more diverse population of users moves online, understanding how to help those groups work together and leverage their diverse skills poses a significant challenge for human-...
176
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
Hybrid nanoelectronics are emerging as one viable option to sustain the Moore’s Law after the CMOS scaling limit is reached. One main design challenge in hybrid nanoelectronics ...
135
Voted
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We define a formal market model that ...