4075 search results - page 90 / 815 » Modeling Distributed Algorithm Using B |
SPIN
2000
Springer
14 years 26 days 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...
ICCV
2005
IEEE
14 years 2 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...
SIGSOFT
2007
ACM
14 years 10 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...
IMCSIT
2010
13 years 7 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...
ICASSP
2009
IEEE
14 years 4 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...