2830 search results - page 286 / 566 » No Science without Semantics |
131
click to vote
ICALP
2005
Springer
16 years 5 days 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...
177
click to vote
ICALP
2004
Springer
16 years 1 days 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 ...
154
click to vote
ICALP
2004
Springer
16 years 1 days 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...
165
click to vote
PDCAT
2004
Springer
16 years 9 hour 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...
172
click to vote
WEBI
2004
Springer
16 years 55 min 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...