424 search results - page 28 / 85 » Service-Oriented Commonality Analysis Across Existing System... |
IEE
2008
13 years 8 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
Modern corporations operate in an extremely complex environment and strongly depend on all kinds of information resources across the enterprise. Unfortunately, with the growth of ...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
IFL
1998
Springer
14 years 20 days ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
AUTOMATICA
1999
13 years 8 months ago
1999
Relays are common in automatic control systems. Even linear systems with relay feedback are, however, far from fully understood. New results are given about the behavior of these ...