3363 search results - page 303 / 673 » A Framework for Knowledge Reuse |
195
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
158
click to vote
AMR
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents results, at an early stage of research work, of the use of fuzzy decision trees in a multimedia framework. We present the discovery of rules in three different ...
171
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
158
click to vote
ICCS
1997
Springer
15 years 11 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
186
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
Shared physical workspaces allow people to maintain upto-the minute knowledge about others' interaction with the workspace. This knowledge is workspace awareness, part of the...