621 search results - page 88 / 125 » Model Checking Probabilistic Distributed Systems |
RECOMB
2010
Springer
14 years 2 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
A dynamic model of a multiagent system defines a probability distribution over possible system behaviors over time. Alternative representations for such models present tradeoffs i...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...