642 search results - page 87 / 129 » Once Upon a Type |
166
Voted
DIM
2007
ACM
15 years 7 months ago
2007
ACM
Online social networks are formed when web applications allow users to contribute to an online community. The explosive growth of these social networks taxes the management capaci...
104
Voted
ESEM
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a controlled experiment comparing the defect detection efficiency of exploratory testing (ET) and test case based testing (TCT). While traditional testing lite...
162
Voted
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
119
click to vote
WSC
2007
15 years 5 months ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
110
Voted
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
There is a growing interest in applying market mechanisms to tackle everyday communication problems such as communication interruptions and communication overload. Prior analytic ...