77016 search results - page 450 / 15404 » Modeling Modeling |
171
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
171
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
161
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
174
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
166
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
This paper describes a computational learning model inspired by the technology of optical thin-film multilayers from the field of optics. With the thicknesses of thin-film layers ...