Modeling the Model The Semantics of the CCSM4 Sea Ice Model Tetherless World Constellation Rensselaer Polytechnic Institute.