Sciweavers

279 search results - page 16 / 56
» Providing Support for Model Composition in Metamodels
Sort
View
WSC
2001
15 years 1 months ago
Implementation of response surface methodology using variance reduction techniques in semiconductor manufacturing
Semiconductor manufacturing is generally considered a cyclic industry. As such, individual producers able to react quickly and appropriately to market conditions will have a compe...
Charles D. McAllister, Bertan Altuntas, Matthew Fr...
SIGSOFT
2003
ACM
16 years 13 days ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
CAISE
1999
Springer
15 years 4 months ago
Towards Quality-Oriented Data Warehouse Usage and Evolution
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
Panos Vassiliadis, Mokrane Bouzeghoub, Christoph Q...
ASE
2005
102views more  ASE 2005»
14 years 11 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
WWW
2008
ACM
16 years 11 days ago
Context-sensitive QoS model: a rule-based approach to web service composition
Generally, web services are provided with different QoS values, so they can be selected dynamically in service composition process. However, the conventional context free composit...
Tao Zhou, Xiaolin Zheng, William Wei Song, Xiaofen...