1397 search results - page 173 / 280 » On the Need for Practical Formal Methods |
131
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
144
click to vote
APCCM
2008
15 years 6 months ago
2008
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...
162
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
160
click to vote
PAMI
2007
15 years 4 months ago
2007
—Imaging of objects under variable lighting directions is an important and frequent practice in computer vision, machine vision, and image-based rendering. Methods for such imagi...
166
click to vote
IJSNET
2010
14 years 11 months ago
2010
Abstract: Taking into account requirements of sensor networks, we need fully-distributed and selforganising control mechanisms which are scalable to the size of a network, robust t...