708 search results - page 44 / 142 » Support for Informal Information Use and its Formalization i... |
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
The catchword “compliance” dominates the actual debate about Identity Management and information security like few before. Companies need to comply with a variety of internal ...
HUC
2010
Springer
13 years 9 months ago
2010
Springer
Context-aware applications should be intelligible so users can better understand how they work and improve their trust in them. However, providing intelligibility is nontrivial an...
IJMMS
2000
13 years 8 months ago
2000
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
FMSD
2006
13 years 9 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In previous studies, the technology acceptance model (TAM) [1] has been widely used by information technology researchers to gain a better understanding of information technology ...