1451 search results - page 109 / 291 » Case Studies in Model Manipulation for Scientific Computing |
135
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
165
click to vote
AAAI
2012
13 years 7 months ago
2012
In conservation biology and natural resource management, adaptive management is an iterative process of improving management by reducing uncertainty via monitoring. Adaptive manag...
125
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
128
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
143
click to vote
ALT
1998
Springer
15 years 8 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...