154 search results - page 9 / 31 » Web Interfaces for Proof Assistants |
CHI
2000
ACM
13 years 11 months ago
2000
ACM
We have designed and implemented new Web browsing facilities to support effective navigation on Personal Digital Assistants (PDAs) with limited capabilities: low bandwidth, small ...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
The Internet has become an important part of our daily lives, with browsers serving as the main tool of navigation. For users with severe disabilities, access to the Internet can ...
W4A
2010
ACM
13 years 5 months ago
2010
ACM
The Web accessibility discipline strives for the study and improvement of front-end Web design towards people with disabilities. Best practices such as WCAG dictate how Web pages ...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
This paper describes personalization metadata standards that can be used to enable individuals to access and use resources based on a user's particular requirements. The pape...
WSC
2000
13 years 8 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...