1218 search results - page 235 / 244 » Model-Driven Development of Mobile Applications |
SAC
2005
ACM
14 years 1 months ago
2005
ACM
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This video presents a humanoid two-arm system developed as a research platform for studying dexterous twohanded manipulation. The system is based on the modular DLR-Lightweight...
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
The problem of biometric sensor interoperability has received limited attention in the literature. Most biometric systems operate under the assumption that the data (viz., images) ...
CASES
2003
ACM
14 years 1 months ago
2003
ACM
The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
DSN
2002
IEEE
14 years 27 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...