1833 search results - page 303 / 367 » Mechanized Verification with Sharing |
148
click to vote
NJC
2006
15 years 4 months ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
147
click to vote
PSYCHNOLOGY
2006
15 years 4 months ago
2006
Ever more frequently, social and particularly group interactions, involve mediated communication. Yet we know very little about the factors determining the effectiveness of the in...
125
click to vote
SIGECOM
2008
ACM
15 years 4 months ago
2008
ACM
Online peer production systems have enabled people to coactively create, share, classify, and rate content on an unprecedented scale. This paper describes strong macroscopic regul...
149
click to vote
SIGOPS
2008
15 years 4 months ago
2008
Deployment of shared storage systems is increasing with rapid adoption of virtualization technologies to provide isolation, better management and high utilization of resources. Qu...
170
click to vote
TASLP
2008
15 years 4 months ago
2008
Convolution tree kernel has shown promising results in semantic role labeling (SRL). However, this kernel does not consider much linguistic knowledge in kernel design and only perf...