773 search results - page 84 / 155 » Program Slicing by Calculation |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
IFIP
1998
Springer
14 years 2 months ago
1998
Springer
The paper describes an original approach for the ABR service in the ATM network. It belongs to the explicite rate (ER) class and assumes that the ER parameter corresponds to the i...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
LFP
1992
13 years 11 months ago
1992
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
ECRTS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...