5525 search results - page 515 / 1105 » Verification of Model Transformations |
195
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
230
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
234
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
199
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
212
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...