7082 search results - page 1197 / 1417 » A framework for mobile evaluation |
181
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
156
click to vote
TABLETOP
2006
IEEE
16 years 18 days ago
2006
IEEE
Freehand gestural interaction with direct-touch computation surfaces has been the focus of significant research activity recently. While many interesting gestural interaction tech...
171
click to vote
VL
2006
IEEE
16 years 18 days ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
174
click to vote
ADBIS
2006
Springer
16 years 18 days ago
2006
Springer
materialized view selection is a non-trivial task. Hence, its complexity must be reduced. A judicious choice of views must be costdriven and influenced by the workload experienced...
168
click to vote
CSCW
2006
ACM
16 years 17 days ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...