Abstract In the ubiquitous computing environment, people will interact with everyday objects (or computers embedded in them) in ways different from the usual and familiar desktop u...
Seokhee Jeon, Jane Hwang, Gerard Jounghyun Kim, Ma...
Many people love traveling for entertainment nowadays. In a journey, visitors often produce digital multimedia resources by capturing images, audios and videos. With digital device...
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
With SeCuUI we present a solution that aims to increase security of data entry on public terminals. The user can enter all data requested by the terminal using her mobile device. ...
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...