2502 search results - page 163 / 501 » Using probabilistic model checking in systems biology |
183
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
199
click to vote
TSMC
2011
15 years 1 months ago
2011
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...
149
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
204
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
188
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...