Skip to content
  • Home / Monthly Archives: February 2011

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
School of Computer Science
Address

Level 4, Ingkarni Wardli
North Terrace Campus
THE UNIVERSITY OF ADELAIDE
ADELAIDE SA 5005 AUSTRALIA

Contact
Phone: +61 8 8313 5586
Fax: +61 8 8313 4366