Sciweavers

12107 search results - page 2081 / 2422
» Software That Can Think
Sort
View
ASSETS
2007
ACM
15 years 10 months ago
WebAnywhere: a screen reader on-the-go
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
Jeffrey P. Bigham, Craig Prince
ASSETS
2007
ACM
15 years 10 months ago
Using participatory activities with seniors to critique, build, and evaluate mobile phones
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
Michael Massimi, Ronald M. Baecker, Michael Wu
AUTONOMICS
2007
ACM
15 years 10 months ago
A framework to support multiple reconfiguration strategies
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
Liliana Rosa, Luís Rodrigues, Antóni...
CCGRID
2009
IEEE
15 years 10 months ago
Hierarchical Caches for Grid Workflows
From personal software to advanced systems, caching mechanisms have steadfastly been a ubiquitous means for reducing workloads. It is no surprise, then, that under the grid and clu...
David Chiu, Gagan Agrawal
197
Voted
CCS
2009
ACM
15 years 10 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
« Prev « First page 2081 / 2422 Last » Next »