940 search results - page 48 / 188 » Local rely-guarantee reasoning |
IPCCC
2005
IEEE
14 years 3 months ago
2005
IEEE
Tree-based reliable multicast protocols provide scalability by distributing error-recovery tasks among several repair nodes. These repair nodes keep in their buffers all packets t...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
We show that all published visual data processing methods for the simulated robotic soccer so far were not utilizing all available information, because they were mainly based on he...
RR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
INAP
2001
Springer
14 years 2 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...