2502 search results - page 346 / 501 » Using probabilistic model checking in systems biology |
129
click to vote
AAAI
2006
15 years 6 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
137
click to vote
MKWI
2008
15 years 6 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
254
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
252
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
113
click to vote
SIGGRAPH
1991
ACM
15 years 8 months ago
1991
ACM
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...