2502 search results - page 219 / 501 » Using probabilistic model checking in systems biology |
177
click to vote
IJAR
2002
15 years 6 months ago
2002
The usual methods of applying Bayesian networks to the modeling of temporal processes, such as Dean and Kanazawa's dynamic Bayesian networks (DBNs), consist in discretizing t...
283
click to vote
ICOODB
2010
15 years 4 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
175
click to vote
IJAR
2008
15 years 6 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
168
click to vote
CCGRID
2003
IEEE
15 years 12 months ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...
235
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...