4516 search results - page 218 / 904 » Data Structures in the Design of Interfaces |
148
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
178
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
157
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...
166
Voted
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
Effective mode-switching techniques provide users of tablet interfaces with access to a rich set of behaviors. While many researchers have studied the relative performance of mode...
176
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Energy management remains a critical problem in wireless networks since battery technology cannot keep up with rising communication expectations. Current approaches to energy cons...