2673 search results - page 230 / 535 » Guided Static Analysis |
165
click to vote
CIBCB
2008
IEEE
16 years 13 days ago
2008
IEEE
— We introduce a graph-based relational learning approach using graph-rewriting rules for temporal and structural analysis of biological networks changing over time. The analysis...
159
click to vote
ICDM
2008
IEEE
16 years 12 days ago
2008
IEEE
Privacy-Preserving Data Re-publishing (PPDR) deals with publishing microdata in dynamic scenarios. Due to privacy concerns, data must be disguised before being published. Research...
166
click to vote
LOPSTR
2007
Springer
16 years 2 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
159
click to vote
SAS
2007
Springer
16 years 2 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
170
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...