3914 search results - page 326 / 783 » Automating SLA modeling |
171
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
171
click to vote
DSVIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
152
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
187
click to vote
ILP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
188
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...