2229 search results - page 83 / 446 » Abstract Storage Devices |
102
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
118
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Semantic Web technologies such as RDF are usually incorporated in the infrastructure of desktop and web applications and can currently not be entirely deployed on mobile ...
106
click to vote
IDA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We investigate an application of Probabilistic Latent Semantics to the problem of device usage analysis in an infrastructure in which multiple users have access to a shar...
138
click to vote
GW
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The integration of more and more functionality into the human machine interface (HMI) of vehicles increases the complexity of device handling. Thus optimal use of differ...
85
Voted
MICCAI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Criteria to design MR (Magnetic Resonance) compatible mechatronic devices, e.g., surgical robots, are discussed. Some of critical interactions between MRI and mechatronic...