Workflow Partitioning in Mobile Information Systems