Sciweavers

517 search results - page 69 / 104
» Designing Ubiquitous Computing Systems for Sports Equipment
Sort
View
JIIS
2008
104views more  JIIS 2008»
15 years 5 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
POLICY
2005
Springer
15 years 11 months ago
Relationship-Driven Policy Engineering for Autonomic Organisations
Autonomic systems are needed to self-manage the increasing complexity of pervasive communications access and the ubiquitous computing services it offers to humans. Policy based go...
Kevin Feeney, Karl Quinn, David Lewis, Declan O'Su...
PERVASIVE
2007
Springer
16 years 17 hour ago
Interstitial Interfaces for Mobile Media
Mobile devices make ideal personal ambient information systems given their ubiquitous adoption by users and their rich context knowledge of users’ activity. However, we believe ...
Jehan Wickramasuriya, Venu Vasudevan, Nitya Narasi...
CHI
2004
ACM
16 years 6 months ago
Understanding the micronote lifecycle: improving mobile support for informal note taking
People frequently write messages to themselves. These informal, hurried personal jottings serve as temporary storage for notable information as well as reminders for future action...
Min Lin, Wayne G. Lutters, Tina S. Kim
HUC
2009
Springer
15 years 9 months ago
Playful bottle: a mobile social persuasion system to motivate healthy water intake
This study of mobile persuasion system explores the use of a mobile phone, when attached to an everyday object used by an everyday behavior, becomes a tool to sense and influence ...
Meng-Chieh Chiu, Shih-Ping Chang, Yu-Chen Chang, H...