Sciweavers

10500 search results - page 1769 / 2100
» Documentation for
Sort
View
ACSAC
2004
IEEE
15 years 10 months ago
Cozilet: Transparent Encapsulation to Prevent Abuse of Trusted Applets
We have developed a mechanism which prevents abuse of trusted Java applets, such as digitally signed applets. A signed applet is usually permitted by a user to perform certain fun...
Hisashi Kojima, Ikuya Morikawa, Yuko Nakayama, Yuj...
ACSC
2004
IEEE
15 years 10 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
AIRS
2004
Springer
15 years 10 months ago
Effective Topic Distillation with Key Resource Pre-selection
Topic distillation aims at finding key resources which are high-quality pages for certain topics. With analysis in non-content features of key resources, a pre-selection method is ...
Yiqun Liu, Min Zhang, Shaoping Ma
APSEC
2004
IEEE
15 years 10 months ago
MUDABlue: An Automatic Categorization System for Open Source Repositories
Open Source communities typically use a software repository to archive various software projects with their source code, mailing list discussions, documentation, bug reports, and ...
Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushit...
AIRS
2006
Springer
15 years 10 months ago
Query Expansion with ConceptNet and WordNet: An Intrinsic Comparison
This paper compares the utilization of ConceptNet and WordNet in query expansion. Spreading activation selects candidate terms for query expansion from these two resources. Three m...
Ming-Hung Hsu, Ming-Feng Tsai, Hsin-Hsi Chen
« Prev « First page 1769 / 2100 Last » Next »