2502 search results - page 115 / 501 » Using probabilistic model checking in systems biology |
STTT
2010
13 years 7 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
TACAS
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present a robust text-independent speaker recognition system. The proposed system mainly includes an SNR-aware subspace-based enhancement technique and probabili...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
NSDI
2004
13 years 10 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....