2935 search results - page 166 / 587 » An Integrated Approach to High Integrity Software Verificati... |
154
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
161
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Data compression techniques based on Lempel-Ziv (LZ) algorithm are widely used in a variety of applications, especially in data storage and communications. However, since the LZ a...
180
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
184
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Whereas efficient barrier implementations were once a concern only in high-performance computing, recent trends in core integration make the topic relevant even for general-purpos...
209
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...