The Sheaf Data Model: A Rigorous Data Model for Scientific Computing | IEEE Conference Publication | IEEE Xplore