1403 search results - page 75 / 281 » Quantitative Interprocedural Analysis |
EUSFLAT
2001
15 years 2 months ago
2001
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
124
Voted
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
RE
2004
Springer
15 years 6 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
84
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
The detection of architectural distortions and abnormal structures in mammographic images can be based on the analysis of bilateral and temporal cases using image registration. Th...
114
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...