2450 search results - page 38 / 490 » On Application of Structural Decomposition for Process Model... |
122
Voted
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
187
Voted
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
176
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
This paper presents an overview of S2AEA (v2) (Strategic Alignment Assessment based on Enterprise Architecture (version2)), a platform for modelling enterprise architecture and fo...
125
Voted
WEBDB
2004
Springer
15 years 9 months ago
2004
Springer
XML and semi-structured data is usually modeled using graph structures. Structural summaries, which have been proposed to speedup XML query processing have graph forms as well. Th...
132
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...