6274 search results - page 1076 / 1255 » Proofs, Programs, Processes |
UM
2007
Springer
14 years 5 months ago
2007
Springer
Personalization is one of the important research issues in the areas of information retrieval and Web search. Providing personalized services that are tailored toward the specific...
ACSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
ACSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
ACSC
2006
IEEE
14 years 5 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
CGI
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...