3688 search results - page 85 / 738 » Static analysis of aspects |
TCS
2008
14 years 11 months ago
2008
The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time mo...
117
click to vote
RE
2010
Springer
14 years 6 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
106
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
DELTA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Design, Verification and Test of integrated circuits with millions of gates put strong requirements on design time, test volume, test application time, test speed and diagnost...
100
click to vote
CIVR
2006
Springer
15 years 3 months ago
2006
Springer
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...