2502 search results - page 36 / 501 » Using probabilistic model checking in systems biology |
ATAL
2004
Springer
14 years 22 days ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
RECOMB
2003
Springer
14 years 9 months ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
BIRTHDAY
2007
Springer
14 years 3 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
SIGIR
1998
ACM
14 years 1 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...