382 search results - page 42 / 77 » Formalization of Continuous Probability Distributions |
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
PPSN
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present the Dinosaur Hypothesis, which states that the behaviour of a market never settles down and that the population of predictors continually co-evolves with t...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
124
click to vote
LICS
1998
IEEE
15 years 3 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
110
click to vote
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...