5075 search results - page 84 / 1015 » Model-based interface development |
104
click to vote
ENGL
2007
15 years 2 months ago
2007
— This paper proposes the use of a controlled assistive device, aimed as a support for the impaired individuals to allow a limited ambulatory function. The aim of the overall pro...
101
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on two new portals for searching MEDLINE/PubMed with handheld devices, PICO (Patient, Intervention, Comparison, Outcome) and a WAP (Wireless Application Protocol) browse...
127
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
100
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...
126
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...