626 search results - page 31 / 126 » When Can Formal Methods Make a Real Difference |
BMCBI
2005
13 years 8 months ago
2005
Background: This study concerns the development of a high performance workflow that, using grid technology, correlates different kinds of Bioinformatics data, starting from the ba...
BMCBI
2005
13 years 8 months ago
2005
Background: Profile-profile methods have been used for some years now to detect and align homologous proteins. The best such methods use information from the background distributi...
FMCAD
2009
Springer
14 years 17 days ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
DSVIS
1997
Springer
14 years 26 days ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
ZUM
1992
Springer
14 years 23 days ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...