In this paper we describe a prototype Tangible User Interface (TUI) for interactive storytelling that explores the semantic properties of tangible interactions using the fictional...
The next decade will see an abundance of new intelligent systems, many of which will be market-based. Soon, users will interact with many new markets, perhaps without even knowing...
Drawing on studies of experimental systems and everyday settings we explore the relationship between social interaction and its environment. We show how interaction is inextricably...
Christian Heath, Paul Luff, Hideaki Kuzuoka, Keiic...
Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guar...
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...