15416 search results - page 3046 / 3084 » Embeddings of Computable Structures |
138
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
133
click to vote
DC
2010
15 years 4 months ago
2010
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...
137
click to vote
DAM
2008
15 years 4 months ago
2008
We describe the most efficient solutions to the word problem of Artin's braid group known so far, i.e., in other words, the most efficient solutions to the braid isotopy probl...
123
click to vote
DATAMINE
2008
15 years 4 months ago
2008
Abstract. Data stream values are often associated with multiple aspects. For example, each value observed at a given time-stamp from environmental sensors may have an associated ty...
144
click to vote
ALMOB
2006
15 years 4 months ago
2006
Background: Motif patterns of maximal saturation emerged originally in contexts of pattern discovery in biomolecular sequences and have recently proven a valuable notion also in t...