3731 search results - page 238 / 747 » cases 2006 |
194
click to vote
IWIA
2006
IEEE
16 years 20 days ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
170
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
143
click to vote
SYNASC
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
238
click to vote
TPHOL
2006
IEEE
16 years 19 days ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
209
click to vote
VL
2006
IEEE
16 years 19 days ago
2006
IEEE
Traditional approaches to teaching computer science are often unsuccessful in attracting girls into the discipline. Our hypothesis is that presenting computer programming as a mea...