202 search results - page 41 / 41 » A Semantic Accessibility Assessment Environment for Design a... |
CORR
2004
Springer
2004
Springer
A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices
13 years 5 months ago
This paper presents the design and implementation of a Grid-enabled interactive analysis environment for handheld and other resource-limited computing devices. Handheld devices ar...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...