2935 search results - page 93 / 587 » An Integrated Approach to High Integrity Software Verificati... |
141
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
101
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We have developed several basic components for our Virtualized Classroom project: automated data collection, intelligent media integration, and flexible user interfaces. As an exa...
137
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
147
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Missing value estimation is an important preprocessing step in microarray analysis. Although several methods have been developed to solve this problem, their performan...
160
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...