2957 search results - page 305 / 592 » Code analysis and CS-XML |
132
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
121
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
117
Voted
RAID
2005
Springer
15 years 9 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
126
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
128
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...