1284 search results - page 57 / 257 » On Helping and Interactive Proof Systems |
133
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
101
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
104
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
While collaboration is a natural choice in many situations, there is a lack of specialized tools for collaboratively seeking information. We present design specifications and impl...
147
click to vote
WECWIS
2006
IEEE
15 years 10 months ago
2006
IEEE
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
142
click to vote
CHI
2005
ACM
15 years 5 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...