6884 search results - page 72 / 1377 » The macro-structure of use of help |
CL
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
FLAIRS
2007
13 years 10 months ago
2007
Researchers have reported successful deployments of diagnosis decision support systems based on Bayesian networks. However, the methodology for evaluating the diagnosability for s...
AH
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...