5330 search results - page 319 / 1066 » The Performability Tool P'ility |
179
Voted
CHI
2008
ACM
2008
ACM
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
16 years 8 months ago
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...
199
Voted
CHI
2005
ACM
16 years 8 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
179
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The explosion of the amount of information available in digital form has made search a hot research topic for the Information Management Community. While most of the research on s...
183
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
187
Voted
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...