2830 search results - page 286 / 566 » No Science without Semantics |
108
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
130
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
120
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
118
Voted
PDCAT
2004
Springer
15 years 9 months ago
2004
Springer
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
130
click to vote
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
The number of documents that are indexed by a search engine is referred to as the size of the search engine. The information about the size of each underlying search engine is ess...