9504 search results - page 3 / 1901 » Dynamic Substitution Model |
SERVICES
2008
13 years 6 months ago
2008
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
LION
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classi cation are based on Blosum, P...
CP
2004
Springer
13 years 9 months ago
2004
Springer
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...