2278 search results - page 55 / 456 » Specification Techniques for Automatic Performance Analysis ... |
CHI
2002
ACM
15 years 10 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
SIMUTOOLS
2008
14 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
MSWIM
2005
ACM
15 years 3 months ago
2005
ACM
The Advance in video coding and wireless communication techniques has enabled video-based services to be the most important component of many emerging multimedia applications. The...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
DSVIS
1994
Springer
15 years 1 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...