2184 search results - page 68 / 437 » Assistive Embedded Technologies |
PDC
2004
ACM
15 years 3 months ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
We present the participatory design and evaluation of an orientation aid for individuals who have anterograde amnesia. Our design team included six amnesics who have extreme diffi...
ETFA
2008
IEEE
14 years 11 months ago
2008
IEEE
Technological advancements in communication and embedded computing lead to the increasing application of decentralized structures in automation and control. The decentralization a...
WETICE
1998
IEEE
15 years 2 months ago
1998
IEEE
Most approaches to real-time collaboration and awareness involve the use of special applications to connect users to each other either peer-to-peer or via a central server. At Lot...
104
click to vote
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...