3667 search results - page 207 / 734 » Software Rejuvenation - Modeling and Analysis |
146
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
112
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
146
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
105
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
120
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...