Sciweavers

4445 search results - page 264 / 889
» Reflective Authorization Systems
Sort
View
CHI
2008
ACM
16 years 6 months ago
Personal inventories: toward durable human-product relationships
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...
William Odom
ICSE
2003
IEEE-ACM
16 years 6 months ago
Modular Verification of Software Components in C
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 ...
ENTER
2010
Springer
16 years 22 days ago
Assessing the Dynamics of Search Results in Google
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. ...
HICSS
2009
IEEE
136views Biometrics» more  HICSS 2009»
16 years 21 days ago
New Development of Advanced ITG Framework
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...
Jung-Hoon Lee, S.-H. Juhn, K.-T. Hwang
ICANN
2009
Springer
16 years 14 days ago
Decomposition Methods for Detailed Analysis of Content in ERP Recordings
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...
Vasiliki Iordanidou, Kostas Michalopoulos, Vangeli...