2935 search results - page 127 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
click to vote
TCS
2002
15 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
143
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
157
click to vote
FIW
2007
15 years 6 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
157
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Much of the public access cancer microarray data is asymmetric, belonging to datasets containing no samples from normal tissue. Asymmetric data cannot be used in stand...
127
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper proposes a new approach for the multiple frame integration of video, whose novelty mainly lies in three phases: Firstly, in the text-block group (TBG) identification, w...