1222 search results - page 89 / 245 » A Bayesian Approach to Model Checking Biological Systems |
129
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
107
Voted
HUC
2007
Springer
15 years 10 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
140
click to vote
MTV
2003
IEEE
15 years 9 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
133
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
278
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...