1052 search results - page 7 / 211 » Managing User Focused Access to Distributed Knowledge |
JAR
2007
14 years 9 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
ACSAC
1999
IEEE
15 years 1 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
CONTEXT
2007
Springer
15 years 3 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
Knowledge workers need to communicate and access knowledge while they work alone, in groups, sitting in their offices or on the move. This paper presents the MILK project, which ai...
CI
2004
14 years 9 months ago
2004
Most of the research inthe area of expert finding focuses on creating and maintaining centralized directories of experts' profiles, which users can search on demand. However, ...