3335 search results - page 425 / 667 » Grid result checking |
189
click to vote
TSE
1998
15 years 5 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
167
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
168
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper we present a generalized joint channel and physical layer network coding scheme for two-way relay systems, where the two sources A and B desire to exchange informa...
176
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
170
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...