4276 search results - page 455 / 856 » Techniques for Empirical Validation |
150
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
192
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
174
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
An analysis is presented that extends existing Rayleigh-Ritz theory to the special case of highly eccentric distributions. Specifically, a bound on the angle between the first Rit...
120
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
189
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...