In the light of an increasing demand on business process compliance, the verication of process models against compliance rules has become essential in enterprise computing. To be ...
David Knuplesch, Linh Thao Ly, Stefanie Rinderle-M...
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
Abstract. Scientists and conservators, involved in cultural heritage documentation management, have to furnish not only qualitative but also quantitative description of the assessm...