805 search results - page 96 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
138
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
History repeatedly demonstrates that rural communities have unique technological needs. Yet, we know little about how rural communities use modern technologies, so we lack knowled...
120
click to vote
IRI
2003
IEEE
15 years 8 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
145
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Understanding how people interact with search engines is important in improving search quality. Web search engines typically analyze queries and clicked results, but these actions...
222
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
126
click to vote
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...