19936 search results - page 373 / 3988 » Inductive process modeling |
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
164
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Although important contributions have been made in recent years within the field of bioprocess model development and validation, in many cases the utility of even relativ...
170
click to vote
WSC
1998
15 years 8 months ago
1998
Process oriented views are widely recognized as very useful for modeling, but di cult to implement e ciently in a simulation system, as compared to event oriented views. In partic...
187
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
189
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...