3667 search results - page 219 / 734 » Software Rejuvenation - Modeling and Analysis |
123
Voted
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
148
Voted
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
127
Voted
ICSM
1997
IEEE
15 years 7 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
155
click to vote
CC
1994
Springer
15 years 7 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
119
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...