5339 search results - page 12 / 1068 » Controllable Delay-Insensitive Processes |
MIA
2011
12 years 11 months ago
2011
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
WSFM
2007
Springer
14 years 2 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
OTM
2007
Springer
14 years 2 months 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...
WSC
2004
13 years 10 months ago
2004
We discuss a modification of the process world view, a graphical modeling representation language for the modified process world view called Control Flow Graphs (CFGs), an extensi...