Sciweavers

116 search results - page 12 / 24
» Unit: modular development of distributed interaction techniq...
Sort
View
ICCS
2004
Springer
14 years 1 months ago
DisCAS: A Distributed-Parallel Computer Algebra System
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
Yongwei Wu, Guangwen Yang, Weimin Zheng, Dongdai L...
IV
2002
IEEE
99views Visualization» more  IV 2002»
14 years 1 months ago
Rigorous Exploration of Medical Data in Collaborative Virtual Reality Applications
We describe a virtual reality widget library and two medical applications. These applications, built on the widget library, make use of collaborative interaction techniques. These...
Fred Dech, Jonathan C. Silverstein
CHI
2004
ACM
14 years 8 months ago
If not now, when?: the effects of interruption at different moments within task execution
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
Piotr D. Adamczyk, Brian P. Bailey
DOCENG
2004
ACM
14 years 1 months ago
Techniques for authoring complex XML documents
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
Vincent Quint, Irène Vatton
FAC
2000
114views more  FAC 2000»
13 years 8 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...