6662 search results - page 188 / 1333 » Mobile and Ubiquitous Computing |
230
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
202
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Pervasive computing provides an attractive vision for the future of computing. Mobile computing devices such as mobile phones together with a land-based and wireless communication ...
153
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes an architectural framework for integrating services within an enterprise and accessing them from mobile devices in a pervasive-computing environment. Present n...
148
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we introduce K-Menu, a keyword-based dynamic menu interface. When a user enters a keyword, a menu with items related to the keyword is constructed dynamically and p...
179
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
— This paper proposes numerical algorithms for reducing the computational cost of semi-supervised and active learning procedures for visually guided mobile robots from O(M3 ) to ...