Modelling Devices for Natural Interaction
نویسندگان
چکیده
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to account for the relationship between the physical devices that we actually press, twist or pull and their effects on systems. We use state diagrams of each but find we have to extend these in order to account for features such as bounce-back, where buttons or other controls are sprung. Critical to all is the fact that we are physical creatures and so formal models have to take into account that physicality.
منابع مشابه
Early Health Economic Modelling – Optimizing Development for Medical Device Developers?; Comment on “Problems and Promises of Health Technologies: The Role of Early Health Economic Modeling”
This commentary considers the positive and negative consequences of early economic modelling and explores potential future directions. Early economic modelling offers device manufacturers an opportunity to assess the potential value of an innovation at an early stage of development. Early modelling can direct resources into potentially viable technologies and reduce inv...
متن کاملMultimodal Dialog Description for Mobile Devices
The provision of personalized user interfaces for mobile devices is a challenging task since different devices with varying capabilities and interaction modalities have to be supported. Multiple variants of different UIs for one application almost enforces the employment of a model-based approach in order to design one interface and to adapt to or render it on those devices. This position paper...
متن کاملNumerical and Experimental Study of Soil-structure Interaction in Structures Resting on Loose Soil Using Laminar Shear Box
In the present work, the effect of Soil-Structure Interaction (SSI) in low frequency structures resting on loose soil, through numerical modelling and shaking table tests have been studied. In theoretical studies two types of models namely fixed base and flexible base structure were subjected to three selected earthquake records. Nonlinear dynamic analysis was employed for all of the numerical ...
متن کاملUnder consideration for publication in Formal Aspects of Computing Physigrams: Modelling Devices for Natural Interaction
This paper explores the formal specification of the physical behaviour of devices “unplugged” from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call...
متن کاملModelling heat transfer in laser-soft matter interaction via chaotic Ikeda map
This article has no abstract.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 208 شماره
صفحات -
تاریخ انتشار 2008