1931 search results - page 121 / 387 » Why we blog |
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a model and a tool that allows Web users to define, execute, and manage lifecycles for any artifact available on the Web. In the paper we show the need for life...
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
NORDICHI
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we discuss why access to mathematical graphs is problematic for visually impaired people. By a review of graph understanding theory and interviews with visually impa...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
We present a tangible user interface (TUI) called Tangible Graph Builder, that has been designed to allow visually impaired users to access graph and chart-based data. We describe...
MICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...