Sciweavers

3771 search results - page 318 / 755
» Subobject Transformation Systems
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 6 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
EWCBR
2008
Springer
15 years 6 months ago
Conservative Adaptation in Metric Spaces
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
Julien Cojan, Jean Lieber
CLIMA
2007
15 years 6 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
125
Voted
MKWI
2008
124views Business» more  MKWI 2008»
15 years 6 months ago
XML-based Representation of Agile Workflows
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...
Mirjam Minor, Daniel Schmalen, Ralph Bergmann
FLAIRS
2004
15 years 6 months ago
Computing Marginals with Hierarchical Acyclic Hypergraphs
How to compute marginals efficiently is one of major concerned problems in probabilistic reasoning systems. Traditional graphical models do not preserve all conditional independen...
S. K. Michael Wong, Tao Lin