3579 search results - page 98 / 716 » Transformations of software models into performance models |
166
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
120
click to vote
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
109
click to vote
NETWORK
2006
15 years 4 months ago
2006
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...
153
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
—Recently, Bayesian probabilistic models have been used for predicting software development effort. One of the reasons for the interest in the use of Bayesian probabilistic model...
150
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...