3667 search results - page 326 / 734 » Software Rejuvenation - Modeling and Analysis |
169
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
163
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
142
click to vote
CPE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Approximate Mean Value Analysis (MVA) is a popular technique for analyzing queueing networks because of the efficiency and accuracy that it affords. In this paper, we pre...
170
click to vote
CANDT
2009
15 years 10 months ago
2009
We present findings from our study of a music sharing and remixing community in an effort to quantify and understand the structural characteristics of commons-based peer productio...
192
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...