733 search results - page 15 / 147 » Towards a Framework for Modelling Behaviours of Hybrid Syste... |
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
ACAL
2009
Springer
13 years 11 months ago
2009
Springer
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
IANDC
1998
13 years 7 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...