Sciweavers

3022 search results - page 113 / 605
» Make Way for WayMaker
Sort
View
CHI
2005
ACM
16 years 1 months ago
Blind learners programming through audio
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
Jaime Sánchez, Fernando Aguayo
107
Voted
CADE
2002
Springer
16 years 1 months ago
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
Eugene Goldberg
79
Voted
PERCOM
2005
ACM
16 years 10 days ago
Secure context-sensitive authorization
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
Kazuhiro Minami, David Kotz
106
Voted
CHI
2010
ACM
15 years 7 months ago
A longitudinal study of how highlighting web content change affects people's web interactions
The Web is constantly changing, but most tools used to access Web content deal only with what can be captured at a single instance in time. As a result, Web users may not have a g...
Jaime Teevan, Susan T. Dumais, Daniel J. Liebling
94
Voted
HICSS
2009
IEEE
228views Biometrics» more  HICSS 2009»
15 years 7 months ago
Agents of Diffusion - Insights from a Survey of Facebook Users
In times of web 2.0 and its strong focus on user interaction in business models, entrepreneurs and investors of internet businesses often back up their ambitious growth expectatio...
Rebecca Ermecke, Philip Mayrhofer, Stefan Wagner