3238 search results - page 507 / 648 » Not Enough Points Is Enough |
109
Voted
CHI
2002
ACM
16 years 1 months ago
2002
ACM
When virtual teams need to establish trust at a distance, it is advantageous for them to use rich media to communicate. We studied the emergence of trust in a social dilemma game ...
92
Voted
CHI
2002
ACM
16 years 1 months ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
191
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
192
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
218
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...