2661 search results - page 258 / 533 » Model Checking Performability Properties |
102
click to vote
TASLP
2002
15 years 19 days ago
2002
Perceptual audio coders use an estimated masked threshold for the determination of the maximum permissible just-inaudible noise level introduced by quantization. This estimate is d...
126
click to vote
ISF
2007
15 years 27 days ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
107
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
125
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
ECEASST
2008
15 years 1 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...