2740 search results - page 217 / 548 » A Model-Based Approach To Requirements Analysis |
149
Voted
NIPS
2008
15 years 5 months ago
2008
Object matching is a fundamental operation in data analysis. It typically requires the definition of a similarity measure between the classes of objects to be matched. Instead, we...
144
Voted
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern IC design requires accurate analysis and modeling of chip-level interconnect, the substrate and package parasitics. Traditional approaches for such analyses are computation...
132
Voted
VMV
2001
15 years 5 months ago
2001
We present a novel approach to shape-based interpolation of gray-level volume data. In contrast to the segmentation-based techniques our method directly processes the scalar volum...
138
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
221
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...