Sciweavers

8621 search results - page 209 / 1725
» Design for interaction
Sort
View
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
15 years 10 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
VLDB
2004
ACM
143views Database» more  VLDB 2004»
15 years 9 months ago
DB2 Design Advisor: Integrated Automatic Physical Database Design
The DB2 Design Advisor in IBM® DB2® Universal Database™ (DB2 UDB) Version 8.2 for Linux®, UNIX® and Windows® is a tool that, for a given workload, automatically recommends ...
Daniel C. Zilio, Jun Rao, Sam Lightstone, Guy M. L...
CHI
2001
ACM
16 years 4 months ago
Empirically validated web page design metrics
A quantitative analysis of a large collection of expert-rated web sites reveals that page-level metrics can accurately predict if a site will be highly rated. The analysis also pr...
Melody Y. Ivory, Rashmi R. Sinha, Marti A. Hearst
INTERACT
2003
15 years 5 months ago
VEWL: A Framework for Building a Windowing Interface in a Virtual Environment
: VEWL (Virtual Environment Windowing Library) is a library designed to provide a highly flexible interface metaphor for building window-based interfaces within a virtual environme...
Daniel Larimer, Doug A. Bowman
TASE
2008
IEEE
15 years 4 months ago
Mechanism Design for Single Leader Stackelberg Problems and Application to Procurement Auction Design
In this paper, we focus on mechanism design for single leader Stackelberg problems, which are a special case of hierarchical decision making problems in which a distinguished agent...
Dinesh Garg, Y. Narahari