2935 search results - page 107 / 587 » An Integrated Approach to High Integrity Software Verificati... |
152
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
153
Voted
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
146
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
123
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
163
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...