In this paper, I build on perspectives in HumanComputer Interaction (HCI) and design literature to develop a theoretical lens to conduct personal inventories of human-product rela...
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
Bing Pan, Zheng Xiang, Heather Tierney, Daniel R. ...
Recent research has begun to place greater emphasis on the strategic use of IT in seeking to build firm’s capability, thus innovating firm’s business value. In this context, m...
The processes giving rise to an event related potential engage several evoked and induced oscillatory components, which reflect phase or non-phase locked activity throughout the mu...