5064 search results - page 840 / 1013 » Web Information Management System: Personalization and Gener... |
177
Voted
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
155
Voted
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
187
Voted
MKM
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
144
Voted
HT
2003
ACM
16 years 8 days ago
2003
ACM
In this paper, we explore the differences between the Adaptive Hypermedia and IMS Simple Sequencing approaches. Both approaches provide learning material tailored for the learnerâ...
166
Voted
CCR
2000
15 years 6 months ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...