396 search results - page 68 / 80 » Using Refinement Checking as System Testing |
BMCBI
2008
14 years 9 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
98
Voted
DAGSTUHL
1997
14 years 11 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
In a print production system, the ability to match a printed document with its original electronic form enables services that improve robustness of the production process, such as...
IPM
2007
14 years 9 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...