Sciweavers

779 search results - page 99 / 156
» Animating User Interfaces Using Animation Servers
Sort
View
GD
2009
Springer
15 years 4 months ago
WiGis: A Framework for Scalable Web-Based Interactive Graph Visualizations
Traditional network visualization tools inherently suffer from scalability problems, particularly when such tools are interactive and web-based. In this paper we introduce WiGis â...
Brynjar Gretarsson, Svetlin Bostandjiev, John O'Do...
ISSTA
1996
ACM
15 years 4 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon
ATAL
2006
Springer
15 years 3 months ago
A comparison between mechanisms for sequential compute resource auctions
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
Andrew Byde
TSI
2010
14 years 6 months ago
Greta, une plateforme d'agent conversationnel expressif et interactif
This paper presents a generic ,modular and interactive architecture for embodied conversational agent called Greta. It is 3D agent able to communicate with users using verbal and n...
Etienne de Sevin, Radoslaw Niewiadomski, Elisabett...
ICS
1999
Tsinghua U.
15 years 4 months ago
Realizing the performance potential of the virtual interface architecture
The Virtual Interface (VI) Architecture provides protected userlevel communication with high delivered bandwidth and low permessage latency, particularly for small messages. The V...
Evan Speight, Hazim Abdel-Shafi, John K. Bennett