10874 search results - page 1849 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
165
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
149
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
184
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Previous workflow mining works have concentrated their efforts on process behavioral aspects. Although powerful, these proposals are found lacking in functionalities and performanc...
184
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions th...
188
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...