9110 search results - page 1671 / 1822 » Formally-Based Design Evaluation |
128
Voted
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The web is a primary means of information sharing for most organizations and people. Currently, a recipient of web content knows nothing about the environment in which that info...
125
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Device drivers on commodity operating systems execute with kernel privilege and have unfettered access to kernel data structures. Several recent attacks demonstrate that such poor...
122
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
One of the major challenges of video game design is to have appropriate difficulty levels for users in order to maximize the entertainment value of the game. Game players may lose...
154
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
118
Voted
SC
2009
ACM
15 years 10 months ago
2009
ACM
A proper understanding of communication patterns of parallel applications is important to optimize application performance and design better communication subsystems. Communicatio...