4172 search results - page 185 / 835 » Computing Machinery and Understanding |
168
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
138
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
112
Voted
CHI
2003
ACM
16 years 3 months ago
2003
ACM
The described dissertation focuses on social regulation of user behavior within virtual social spaces. A multi-year field study of two fantasy-based game MUDs (multi-user dungeons...
117
Voted
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—We investigate the scalability of the hypergraphbased sparse matrix partitioning methods with respect to the increasing sizes of matrices and number of nonzeros. We prop...
127
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...