Sciweavers

13917 search results - page 119 / 2784
» Abstraction of Probabilistic Systems
Sort
View
ACSD
2010
IEEE
216views Hardware» more  ACSD 2010»
14 years 8 months ago
A Linear Process-Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen, Jaco van de Pol, Mariëll...
CORR
2010
Springer
68views Education» more  CORR 2010»
14 years 7 months ago
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de ...
ICFEM
2010
Springer
14 years 7 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
BMCBI
2010
125views more  BMCBI 2010»
14 years 5 months ago
ProbFAST: Probabilistic Functional Analysis System Tool
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
Israel T. da Silva, Ricardo Z. N. Vêncio, Th...