5777 search results - page 388 / 1156 » The palladio component model |
220
click to vote
ASC
2000
15 years 9 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
206
click to vote
JUCS
2008
15 years 7 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
210
click to vote
TCS
2008
15 years 7 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
223
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
226
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
The cerebellum plays a major role in motor control. It is thought to mediate the acquisition of forward and inverse internal models of the bodyenvironment interaction [1]. In this ...