6662 search results - page 188 / 1333 » Mobile and Ubiquitous Computing |
191
click to vote
ESOP
2005
Springer
15 years 10 months 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 ...
156
click to vote
EUROPAR
2003
Springer
15 years 9 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 ...
124
click to vote
AINA
2004
IEEE
15 years 8 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...
117
Voted
CHI
2007
ACM
16 years 4 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...
148
click to vote
ICRA
2005
IEEE
15 years 10 months 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 ...