Sciweavers

2897 search results - page 91 / 580
» Test Case Integration: From Components to Systems
Sort
View
CBSE
2006
Springer
14 years 22 days ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
BMCBI
2006
116views more  BMCBI 2006»
13 years 9 months ago
Integrative missing value estimation for microarray data
Background: Missing value estimation is an important preprocessing step in microarray analysis. Although several methods have been developed to solve this problem, their performan...
Jianjun Hu, Haifeng Li, Michael S. Waterman, Xiang...
IJCSA
2008
237views more  IJCSA 2008»
13 years 9 months ago
Development of A SOLAP Patrimony Management Application System: Fez Medina as a Case Study
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...
I. Salam, M. El Mohajir, A. Taleb, B. El Mohajir
BMCBI
2006
174views more  BMCBI 2006»
13 years 9 months ago
Genome wide prediction of protein function via a generic knowledge discovery approach based on evidence integration
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
Jianghui Xiong, Simon Rayner, Kunyi Luo, Yinghui L...
TDSC
2008
102views more  TDSC 2008»
13 years 9 months ago
Temporal Partitioning of Communication Resources in an Integrated Architecture
Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
Roman Obermaisser