100 search results - page 8 / 20 » The Callpaper Concept: Turning Paper into Computer Terminals |
TCS
2010
13 years 5 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
TAPAS
2011
13 years 2 months ago
2011
Every human likes choices. But today’s fast route planning algorithms usually compute just a single route between source and target. There are beginnings to compute alternative r...
NORDICHI
2004
ACM
14 years 24 days ago
2004
ACM
In this paper we discuss the re-orientation of humancomputer interaction as an aesthetic field. We argue that mainstream approaches lack of general openness and ability to assess ...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
CHI
2009
ACM
14 years 2 months ago
2009
ACM
Instant messaging (IM) is a common and popular way for co-workers, friends, and family to stay in touch, but its “always-on” properties can sometimes lead people to feel overe...