3667 search results - page 142 / 734 » Software Rejuvenation - Modeling and Analysis |
ANSOFT
2000
13 years 10 months ago
2000
Scenario profiles are used increasingly often for the assessment of quality attributes during the architectural design of software systems. However, the definition of scenario pro...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Modern applications for mobile devices, such as multimedia video/audio, often exhibit a common behavior: they process streams of incoming data in a regular, predictable way. The r...