A Constraint-based User Interface Design Method for Mobile Computing Devices | IEEE Conference Publication | IEEE Xplore