7840 search results - page 1387 / 1568 » On generalized Ramsey numbers |
193
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
148
click to vote
STACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We develop for set cover games several general cost-sharing methods that are approximately budget-balanced, core, and/or group-strategyproof. We first study the cost sha...
184
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
197
click to vote
WAOA
2005
Springer
16 years 2 days ago
2005
Springer
Given a graph with a source and a sink node, the NP–hard maximum k–splittable flow (MkSF) problem is to find a flow of maximum value with a flow decomposition using at most...
182
click to vote
WEA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...