3507 search results - page 45 / 702 » Slicing for architectural analysis |
FMCO
2003
Springer
14 years 4 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
ICSM
1996
IEEE
14 years 2 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
IJON
2007
13 years 10 months ago
2007
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpli...
JOLLI
2010
13 years 9 months ago
2010
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
JSS
2010
13 years 9 months ago
2010
This paper presents results of a study of the effect of global variables on the quantity of dependence in general and on the presence of dependence clusters in particular. The pa...