3706 search results - page 368 / 742 » The Transformational Approach to Program Development |
137
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
141
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
133
click to vote
CVPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Spatial pyramid matching (SPM) is a simple yet effective approach to compute similarity between images. Similarity kernels at different regions and scales are usually fused by som...
133
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
137
click to vote
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...