3782 search results - page 588 / 757 » Engineering Social Order |
234
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
228
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
128
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
: We present FlightPath, a novel peer-to-peer streaming application that provides a highly reliable data stream to a dynamic set of peers. We demonstrate that FlightPath reduces ji...
237
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
With the proliferation of the RDF data format, engines for RDF query processing are faced with very large graphs that contain hundreds of millions of RDF triples. This paper addre...
233
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
One of the most challenging problems in the healthcare domain is providing interoperability among healthcare information systems. In order to address this problem, we propose the ...