3294 search results - page 76 / 659 » Taxonomy of Process Modeling Languages |
APCCM
2010
15 years 1 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
113
click to vote
SCP
2011
14 years 6 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
APLAS
2010
ACM
15 years 3 days ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In this work, we compare several known approaches for multilingual acoustic modeling for three languages, Dari, Farsi and Pashto, which are of recent geo-political interest. We de...