Sciweavers

34 search results - page 6 / 7
» Synthesis of strategies from interaction traces
Sort
View
CHI
2008
ACM
14 years 5 months ago
Letterscroll: text entry using a wheel for visually impaired users
Four text entry techniques for visually impaired users are presented. LetterScroll uses a mouse wheel to maneuver a cursor across a sequence of characters, and a button for charac...
Hussain Tinwala, I. Scott MacKenzie
NOSSDAV
2010
Springer
13 years 10 months ago
Second life: a social network of humans and bots
Second Life (SL) is a virtual world where people interact and socialize through virtual avatars. Avatars behave similarly to their human counterparts in real life and naturally de...
Matteo Varvello, Geoffrey M. Voelker
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
13 years 11 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
MABS
2004
Springer
13 years 10 months ago
Formal Analysis of Meeting Protocols
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
Catholijn M. Jonker, Martijn C. Schut, Jan Treur, ...
FSTTCS
2008
Springer
13 years 6 months ago
Banach-Mazur Games on Graphs
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
Erich Grädel