Sciweavers

6197 search results - page 961 / 1240
» Sandbridge Software Tools
Sort
View
NORDICHI
2004
ACM
16 years 3 days ago
Mobile probes
This paper describes a new digital user study tool called Mobile Probes. Mobile Probes arose from a need to develop contextual and dynamic self-documenting tools for studying peop...
Sami Hulkko, Tuuli Mattelmäki, Katja Virtanen...
UIST
2004
ACM
16 years 3 days ago
Who cares?: reflecting who is reading what on distributed community bulletin boards
In this paper, we describe the YeTi information sharing system that has been designed to foster community building through informal digital content sharing. The YeTi system is a g...
Toshiya Yamada, Jun Shingu, Elizabeth F. Churchill...
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
16 years 1 days ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
UIST
2003
ACM
15 years 12 months ago
GADGET: a toolkit for optimization-based approaches to interface and display generation
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
James Fogarty, Scott E. Hudson
FSTTCS
2003
Springer
15 years 12 months ago
A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
Michael Backes, Birgit Pfitzmann