Modeling Time in Computing