9842 search results - page 1629 / 1969 » The Complexity of the Matching-Cut Problem |
195
click to vote
BPM
2007
Springer
16 years 27 days 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...
172
click to vote
CONCUR
2007
Springer
16 years 27 days 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 ...
191
click to vote
COREGRID
2007
Springer
16 years 27 days 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...
181
click to vote
CSCLP
2007
Springer
16 years 27 days 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...
162
click to vote
ESWS
2007
Springer
16 years 26 days 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...