4075 search results - page 284 / 815 » Modeling Distributed Algorithm Using B |
184
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
163
Voted
SIGIR
2005
ACM
16 years 7 days ago
2005
ACM
We study the problem of offering publish/subscribe functionality on top of structured overlay networks using data models and languages from IR. We show how to achieve this by ext...
210
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Models of agent-environment interaction that use predictive state representations (PSRs) have mainly focused on the case of discrete observations and actions. The theory of discre...
260
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—We consider a multi-static radar scenario with spatially dislocated receivers that can individually extract delay information only. Furthermore, we assume that the receivers are...
188
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents an instance based approach to diagnosing failures in computing systems. Owing to the fact that a large portion of occurred failures are repeated ones, our meth...