4205 search results - page 199 / 841 » Typed Mobile Objects |
135
click to vote
TITB
2008
15 years 4 months ago
2008
A large number of the adult population suffers from some kind of back pain during their lifetime. Part of the process of diagnosing and treating such back pain is for a clinician t...
146
Voted
TSE
1998
15 years 4 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
110
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
120
Voted
ANLP
1992
15 years 5 months ago
1992
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...
149
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...