Sciweavers

1036 search results - page 84 / 208
» Ubiquitous Verification of Ubiquitous Systems
Sort
View
FAST
2009
13 years 5 months ago
The Case for Browser Provenance
In our increasingly networked world, web browsers are important applications. Originally an interface tool for accessing distributed documents, browsers have become ubiquitous, in...
Daniel W. Margo, Margo I. Seltzer
CHI
2008
ACM
14 years 8 months ago
From meiwaku to tokushita!: lessons for digital money design from japan
Based on ethnographically-inspired research in Japan, we report on people's experiences using digital money payment systems that use Sony's FeliCa near-field communicati...
Scott D. Mainwaring, Wendy March, Bill Maurer
CHI
2005
ACM
14 years 8 months ago
Waterbot: exploring feedback and persuasive techniques at the sink
This paper presents an exploration of user interfaces, persuasive interfaces and feedback techniques in the domain of the sink. Waterbot is a system to inform and motivate behavio...
Ernesto Arroyo, Leonardo Bonanni, Ted Selker
PERCOM
2004
ACM
14 years 7 months ago
Expanding Education through Active Space Collaboration
In this paper we introduce a system called e-Fuzion based on using computing devices, such as Tablet PCs, that empower students and teachers with better technologies for education...
Chad Peiper, Ellick Chan, Roy H. Campbell, Jim Bre...
ATAL
2008
Springer
13 years 9 months ago
Tags and image scoring for robust cooperation
Establishing and maintaining cooperation is an enduring problem in multi-agent systems and, although several solutions exist, the increased use of online trading systems, peerto-p...
Nathan Griffiths