Sciweavers

3667 search results - page 213 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
133
Voted
IRI
2003
IEEE
15 years 9 months ago
The Sampling Analysis Pattern
— Sampling is a general concept that has many applications in various domains. The idea of representing sampling as a pattern is to guarantee a reusable core. The stable sampling...
Huáscar A. Sánchez, Mohamed E. Fayad...
152
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting
126
Voted
PEPM
1994
ACM
15 years 7 months ago
Binding-Time Analysis for Standard ML
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
Lars Birkedal, Morten Welinder
PEPM
1994
ACM
15 years 7 months ago
PERs from Projections for Binding-Time Analysis
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
Kei Davis
151
Voted
CCS
2006
ACM
15 years 7 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen