814 search results - page 162 / 163 » Supporting adaptive interfaces in a knowledge-based user int... |
ISW
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
UIST
1993
ACM
13 years 11 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
CE
2008
13 years 7 months ago
2008
The portability and immediate communication properties of mobile devices influence the learning processes in interacting with peers, accessing resources and transferring data. For...
ADBIS
2000
Springer
13 years 12 months ago
2000
Springer
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical informati...
ECBS
1996
IEEE
13 years 11 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...