692 search results - page 63 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
WCRE
2006
IEEE
15 years 5 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
119
click to vote
RE
2001
Springer
15 years 4 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
108
click to vote
IPMI
2001
Springer
16 years 21 days ago
2001
Springer
Abstract. Analysis of shape variability is important for diagnostic classification and understanding of biological processes. We present a novel shape analysis approach based on a ...
MICCAI
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
MATES
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Searching for information in large rather unstructured realworld data sets is a di cult task, because the user expects immediate responses as well as high-quality search ...