2502 search results - page 113 / 501 » Using probabilistic model checking in systems biology |
90
Voted
APBC
2003
15 years 5 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...
137
Voted
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
156
Voted
TCS
2010
14 years 10 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
127
Voted
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
118
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...