455 search results - page 6 / 91 » From MEMS Devices to Smart Integrated Systems |
MONET
2002
14 years 9 months ago
2002
The use of context in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. In this article we consider how to augment mobile devices with a...
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
The networking performance available to Virtual Machines (VMs) can be low due to the inefficiencies of transferring network packets between the host domain and guests. This can lim...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...
117
click to vote
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...