Sciweavers

4508 search results - page 536 / 902
» Design of human-map system interaction
Sort
View
CHI
1995
ACM
15 years 10 months ago
User Embodiment in Collaborative Virtual Environments
This paper explores the issue of user embodiment within collaborative virtual environments. By user embodiment we mean the provision of users with appropriate body images so as to...
Steve Benford, John Bowers, Lennart E. Fahlé...
SIGMOD
2008
ACM
122views Database» more  SIGMOD 2008»
15 years 6 months ago
UQBE: uncertain query by example for web service mashup
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
Jun'ichi Tatemura, Songting Chen, Fenglin Liao, Ol...
BELL
2000
107views more  BELL 2000»
15 years 6 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
CCIA
2010
Springer
15 years 1 months ago
Comparison of Topologies in Peer-to-Peer Data Sharing Networks
Interactions within Multi-agent systems can be structured in different ways depending on the application scenario and its environmental restrictions. In previous work we have devel...
Jordi Campos Miralles, Nuria Piqué, Maite L...
CHI
2011
ACM
14 years 10 months ago
Homebrew databases: complexities of everyday information management in nonprofit organizations
Many people manage a complex assortment of digital information in their lives. Volunteer coordinators at nonprofit organizations are no exception; they collectively manage informa...
Amy Voida, Ellie Harmon, Ban Al-Ani