993 search results - page 188 / 199 » Supporting cooperative working using shared notebooks |
133
Voted
ISMIS
2000
Springer
15 years 7 months ago
2000
Springer
A learned lesson, in the context of a pre-defined organizational process, summarizes an experience that should be used to modify that process, under the conditions for which that l...
136
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
146
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...
137
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
142
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...