4241 search results - page 499 / 849 » A Knowledge-Based Software Information System |
195
click to vote
SIGUCCS
2005
ACM
16 years 6 days ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
195
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
162
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents HyperSentry, a novel framework to enable integrity measurement of a running hypervisor (or any other highest privileged software layer on a system). Unlike exi...
216
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
179
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...