3166 search results - page 513 / 634 » Translation By Structural Correspondences |
107
click to vote
SAFECOMP
1999
Springer
15 years 5 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
140
Voted
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
101
Voted
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
99
Voted
GD
1998
Springer
15 years 5 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
131
Voted
CBMS
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a novel method for CT head image automatic segmentation. The images are obtained from patients having the spontaneous intra cerebral brain hemorrhage ICH . Th...