564 search results - page 2 / 113 » Do interactive systems need specifications |
ENTCS
2006
13 years 6 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
GI
2009
Springer
13 years 11 months ago
2009
Springer
: In ubiquitous environments computers and smart devices, especially the technical view on them, disappear and users are supported to concentrate on the tasks they actually intend ...
CHI
2002
ACM
14 years 6 months ago
2002
ACM
To form a deep understanding of the present; we need to find and engage history. We present an informal history capture and retrieval mechanism for collaborative, earlystage infor...
DAS
2008
Springer
13 years 8 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
SERP
2004
13 years 7 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...