1416 search results - page 48 / 284 » An Exact Interpretation of While |
CD
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
ISWC
1997
IEEE
14 years 2 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
VL
1994
IEEE
14 years 2 months ago
1994
IEEE
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...