7781 search results - page 405 / 1557 » Experience Design |
108
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
128
Voted
ECIS
2001
15 years 6 months ago
2001
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...
115
click to vote
VR
2009
IEEE
15 years 11 months ago
2009
IEEE
Designing low end-to-end latency system architectures for virtual reality is still an open and challenging problem. We describe the design, implementation and evaluation of a clie...
124
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Steiner tree is a fundamental problem in the automatic interconnect optimization for VLSI design. We present a probabilistic analysis method for constructing rectilinear Steiner t...
219
click to vote
VLDB
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we discuss advances in self-tuning database systems over the past decade, based on our experience in the AutoAdmin project at Microsoft Research. This paper primaril...