6978 search results - page 119 / 1396 » Reframing Requirements Analysis |
154
Voted
PAMI
2006
15 years 4 months ago
2006
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...
167
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
127
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
121
Voted
WSC
2007
15 years 7 months ago
2007
Limit standards are probabilistic requirements or benchmarks regarding the proportion of replications conforming or not conforming to a desired threshold. Sample proportions resul...
155
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...