1086 search results - page 28 / 218 » A Probabilistic Model for Software Projects |
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
ECOOPW
2006
Springer
13 years 11 months ago
2006
Springer
This article is a report on the 5th international workshop devoted to the Fractal component model that took place the 4th of July 2006 in Nantes, France, as an ECOOP workshop. Prio...
IJCV
2000
13 years 7 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...