4075 search results - page 90 / 815 » Modeling Distributed Algorithm Using B |
156
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
102
click to vote
ICCV
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a hierarchical probabilistic model for the detection and recognition of objects in cluttered, natural scenes. The model is based on a set of parts which describe the e...
133
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
136
click to vote
IMCSIT
2010
14 years 12 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
111
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider the rate allocation problem for multiple-description quantization of the signal described by an adaptive model with a fixed structure. The source modeling in coding g...