4075 search results - page 179 / 815 » Modeling Distributed Algorithm Using B |
90
Voted
GRID
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
91
Voted
NIPS
2003
15 years 2 months ago
2003
We address the problem of learning topic hierarchies from data. The model selection problem in this domain is daunting—which of the large collection of possible trees to use? We...
109
click to vote
SRDS
2006
IEEE
15 years 6 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
126
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
89
Voted
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. We describe an approach for learning the model of the opponent in spatio-temporal negotiation. We use the Children in the Rectangular Forest canonical problem as an examp...