283 search results - page 37 / 57 » pervasive 2007 |
CADE
2007
Springer
14 years 7 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...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...
CBMS
2007
IEEE
14 years 1 months ago
2007
IEEE
One of the main items on the eHealth agenda of the European Community is the design and promotion of electronic patient summaries as an instrument to facilitate the pervasive deli...