2502 search results - page 291 / 501 » Using probabilistic model checking in systems biology |
144
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
167
click to vote
BIOADIT
2004
Springer
16 years 1 days ago
2004
Springer
Conventional Difference of Gaussian (DOG) filter is usually used to model the early stage of visual processing. However, convolution operation used with DOG does not explicitly a...
200
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
175
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
143
click to vote
SYNASC
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...