Computation models for parameterized complexity