3256 search results - page 448 / 652 » Applications of Formal Methods to System Design and Verifica... |
153
click to vote
ENTCS
2007
15 years 5 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
165
click to vote
SCP
2010
15 years 3 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
134
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
148
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
154
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...