1264 search results - page 183 / 253 » Designing Safe, Reliable Systems using Scade |
114
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
120
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Soil contains vast ecosystems that play a key role in the Earth’s water and nutrient cycles, but scientists cannot currently collect the high-resolution data required to fully u...
109
click to vote
OSDI
2008
ACM
16 years 2 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...
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider the problem of wide-area large-scale text search over a peer-to-peer infrastructure. A wide-area search infrastructure with billions of documents and millions of searc...