1712 search results - page 57 / 343 » Assistive technology in computer science |
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
The purpose of this workshop is to identify various issues that are pertinent to the development and delivery of content in the context of mobile devices. The workshop will focus ...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
ACSC
2003
IEEE
14 years 3 months ago
2003
IEEE
As the Internet and enterprise wide distributed systems become more prevalent in business IT systems, numerous advanced COTS (commercial off-the-shelf) middleware technologies hav...
ACSE
1998
ACM
14 years 2 months ago
1998
ACM
: Building research into teaching has particular value in the current academic climate; this paper considers why and reflects on the particular need for Computer Science education ...