3799 search results - page 401 / 760 » An Engineering Approach to Formal Methods |
150
click to vote
CNSM
2010
15 years 4 months ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
158
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Hausdorff distance (HD) and its modifications provides one of the best approaches for matching of binary images. This paper proposes a formalism generalizing almost all of these H...
184
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...
165
Voted
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
156
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...