13306 search results - page 347 / 2662 » Theoretical Computer Science |
166
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: This paper presents a framework for Service Level Management in dynamic, heterogeneous environments for service composition. Assumptions to and the architecture of a framework is...
174
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
148
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
139
click to vote
SIAMDM
2010
15 years 5 months ago
2010
We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Scie...
188
click to vote
TCS
2010
15 years 5 months ago
2010
We give an O(n2 m + nm2 + m2 log m) time and O(n2 + m2 ) space algorithm for finding the shortest traveling salesman tour through the vertices of two simple polygonal obstacles i...