623 search results - page 4 / 125 » Does personality matter |
78
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
127
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
118
Voted
HT
2007
ACM
15 years 4 months ago
2007
ACM
The considerable high quality of Wikipedia articles is often accredited to the large number of users who contribute to Wikipedia's encyclopedia articles, who watch articles a...
111
Voted
USENIX
2008
15 years 3 months ago
2008
Evaluating novel networked protocols and services requires subjecting the target system to realistic Internet conditions. However, there is no common understanding of what is requ...
NAACL
2007
15 years 2 months ago
2007
