9267 search results - page 1753 / 1854 » Expectation-Oriented Analysis and Design |
141
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...
150
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
168
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
279
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
173
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...