Sciweavers

6434 search results - page 357 / 1287
» Model Transformations with Reference Models
Sort
View
ISIM
2007
15 years 8 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
JUCS
2008
186views more  JUCS 2008»
15 years 6 months ago
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
George Edwards, Chiyoung Seo, Nenad Medvidovic
ICCV
2009
IEEE
15 years 4 months ago
Constructing implicit 3D shape models for pose estimation
We present a system that constructs "implicit shape models" for classes of rigid 3D objects and utilizes these models to estimating the pose of class instances in single...
Mica Arie-Nachimson, Ronen Basri
FASE
2009
Springer
16 years 1 months ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone
ICIP
2006
IEEE
16 years 8 months ago
Spatially Constrained Wiener Filter with Markov Autocorrelation Modeling for Image Resolution Enhancement
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...
Jiazheng Shi, Stephen E. Reichenbach