342 search results - page 60 / 69 » Compositional Testing with ioco |
BIOINFORMATICS
2010
13 years 8 months ago
2010
Motivation: To test whether protein folding constraints and secondary structure sequence preferences significantly reduce the space of amino acid words in proteins, we compared th...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
CN
2007
13 years 8 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
INFSOF
2006
13 years 8 months ago
2006
Web services are used for developing and integrating highly distributed and heterogeneous systems in different domains such as e-business, grid services, and e-government systems....
JMIV
2007
13 years 8 months ago
2007
An image similarity measure based upon intensity scaling is investigated for the registration of images which differ in contast. The measure is introduced for both optical flow a...