6274 search results - page 367 / 1255 » Proofs, Programs, Processes |
156
click to vote
IQ
2007
15 years 8 months ago
2007
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...
171
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
183
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Peer-to-Peer (P2P) cycle sharing over the Internet has become increasingly popular as a way to share idle cycles. A fundamental problem faced by P2P cycle sharing systems is how t...
199
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
199
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
There are two popular parallel I/O programming styles used by modern scientific computational applications: unique-file and shared-file. Unique-file I/O usually gives satisfactory ...