BLOGS WEBSITE

Monthly Archives: February 2011

PADS 2011: Understanding the Cost of Semantic Composability Validation

Our paper, Understanding the Cost of Semantic Composability Validation, will appear in the proceedings of PADS 2011! Abstract: Validation of semantic composability is a non-trivial problem and a key step in component-based modeling and simulation. Recent work in semantic composability validation promise to reduce verification, validation, and accreditation efforts. However, the underlying cost of current validation approaches can undermine the promised […]

Posted in Modelling and Analysis, Publications, Research | Tagged |

Comments Off on PADS 2011: Understanding the Cost of Semantic Composability Validation