154 search results - page 16 / 31 » Web Interfaces for Proof Assistants |
WWW
2003
ACM
14 years 20 days ago
2003
ACM
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. We present a ne...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
W4A
2005
ACM
14 years 29 days ago
2005
ACM
Awareness of Web accessibility is spreading all over the world among Web designers and developers, due to regulations such as the US law called Section 508 and guidelines like the...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
ITNG
2010
IEEE
14 years 15 days ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...