154 search results - page 6 / 31 » Web Interfaces for Proof Assistants |
ASSETS
2010
ACM
13 years 5 months ago
2010
ACM
Few web developers have been explicitly trained to create accessible web pages, and are unlikely to recognize subtle accessibility and usability concerns that disabled people face...
ISMDA
2001
Springer
13 years 12 months ago
2001
Springer
We present a web-based implementation of GenePath, an intelligent assistant tool for data analysis in functional genomics. GenePath considers mutant data and uses expert-defined pa...
BPM
2010
Springer
13 years 5 months ago
2010
Springer
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
MHCI
2004
Springer
14 years 22 days ago
2004
Springer
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...