8094 search results - page 299 / 1619 » Improvements in Formula Generalization |
143
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
148
click to vote
ICMI
2007
Springer
15 years 10 months ago
2007
Springer
The rapid development of large interactive wall displays has been accompanied by research on methods that allow people to interact with the display at a distance. The basic method...
165
click to vote
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
Past studies have shown that objects are created and then die in phases. Thus, one way to sustain good garbage collection efficiency is to have a large enough heap to allow many ...
125
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
148
Voted
HRI
2006
ACM
15 years 10 months ago
2006
ACM
Polymorphic, or shape-shifting, robots can normally tackle more types of tasks than non-polymorphic robots due to their flexible morphology. Their versatility adds to the challeng...