9842 search results - page 1629 / 1969 » The Complexity of the Matching-Cut Problem |
215
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
200
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
211
click to vote
COREGRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
199
click to vote
CSCLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
194
Voted
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...