3914 search results - page 166 / 783 » Automating SLA modeling |
144
click to vote
IDA
1999
Springer
15 years 6 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
128
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
138
click to vote
IIWAS
2004
15 years 3 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
134
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
137
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...