2050 search results - page 49 / 410 » A formal foundation for process modeling |
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
151
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
162
click to vote
OTM
2007
Springer
16 years 12 days ago
2007
Springer
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
134
click to vote
RIVF
2007
15 years 7 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
147
click to vote
JAPLL
2010
15 years 4 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...