In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application ...
Hoh Peter In, ChangHwa Kim, Unil Yun, Stephen S. Y...
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application n...
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...