5075 search results - page 166 / 1015 » Model-based interface development |
109
click to vote
ASSETS
2006
ACM
15 years 9 months ago
2006
ACM
We demonstrate the most recent version of our system to communicate graphs and relational information to blind users. We have developed a system called exPLoring graphs at UMB (PL...
140
click to vote
HAPTICS
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing complexity and pervasiveness of handheld devices is demanding the development of interaction techniques explicitly tailored for mobile scenarios. This paper examine...
140
Voted
ISN
1998
Springer
15 years 7 months ago
1998
Springer
This paper reports work carried out in the context of the ACTS AVANTI AC042 project, addressing the issue of providing accessibility and high quality interaction in Web-based multi...
116
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
159
click to vote
WALTD
2008
15 years 4 months ago
2008
The use of technology is growing in every field of education, and not only in the education of disabled students but also as a learning resource for everybody. The teachers are mo...