9989 search results - page 167 / 1998 » A CLP Approach to Modelling Systems |
153
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
140
Voted
LCPC
2000
Springer
15 years 8 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
113
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variabi...
139
click to vote
FLAIRS
2009
15 years 2 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
180
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...