3082 search results - page 75 / 617 » Deviation Analysis: A New Use of Model Checking |
167
click to vote
APCCM
2009
15 years 6 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
102
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
In conventional total knee replacement (TKR) surgery, a significant fraction of implants have varus/valgus alignment errors large enough to reduce the lifespan of the implant, so w...
158
Voted
DEBU
2008
15 years 5 months ago
2008
Process mining has emerged as a way to discover or check the conformance of processes based on event logs. This enables organizations to learn from processes as they really take p...
137
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
— This work develops an analytic framework for clock tree analysis considering process variations that is shown to correspond well with Monte Carlo results. The analysis framewor...
149
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...