3765 search results - page 462 / 753 » Formal Methods for Systems Engineering Behavior Models |
190
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
139
click to vote
COMBINATORICS
2007
15 years 6 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
176
click to vote
FORMATS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
276
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
199
click to vote
IJAIT
2000
15 years 6 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...