Composability of Big Data and Algorithms for Social Networks Analysis Metrics Multi-model run-time security analysis Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation among Configuration Options Highly Configurable Systems