publication venue for 3rd CASCON Workshop on Software Engineering for Science 2010 Client-side Service Composition Using Generic Service Representative 2010 High-performance computing with sparsity and structure 2010 Software certification consortium 2010 Towards workflow verification 2010