24286 search results - page 364 / 4858 » Research as Design-Design as Research |
192
Voted
CPC
2011
14 years 10 months ago
2011
196
Voted
Publication
Research the problems caused by the difficulties in GSE with acquiring and maintaining awareness: sufficient contextual information to be able to properly cooperate with others.
672
click to vote
Dataset
Keystroke100 benchmark dataset is for research on keytroke dynamics and typing biometrics. This dataset contains keystroke/typing patterns of 100 users typing the password "tr...
152
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
257
click to vote
VLDB
2007
ACM
16 years 7 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...