5012 search results - page 85 / 1003 » Distributed Error Correction |
126
click to vote
EMISA
2004
Springer
15 years 10 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
131
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
157
click to vote
ESANN
2007
15 years 6 months ago
2007
Abstract. Given an appropriate imaging resolution, a common Magnetic Resonance Imaging (MRI) model assumes that object under study is composed of piecewise constant materials, so t...
139
Voted
INTERNET
2008
15 years 4 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
104
click to vote
NIPS
2003
15 years 6 months ago
2003
The bootstrap has become a popular method for exploring model (structure) uncertainty. Our experiments with artificial and realworld data demonstrate that the graphs learned from...