3667 search results - page 113 / 734 » Software Rejuvenation - Modeling and Analysis |
PASTE
2004
ACM
14 years 2 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
IASTEDSE
2004
13 years 10 months ago
2004
Traditionally, the emphasis among computer scientists has been on the more rigorous and theoretical modes of worstcase and average-case analysis of algorithms. However, theoretica...
IEEEICCI
2007
IEEE
14 years 3 months ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
CC
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
JOT
2010
13 years 7 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...