145
click to vote
SOFSEM
13 years 10 months ago
2012 Springer 
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
133
click to vote
SOFSEM
13 years 10 months ago
2012 Springer 
Service resilience, defined as the continued availability of a service despite failures and other negative changes in its environment, is vital in many systems. It is typically ac...
132
click to vote
SOFSEM
13 years 10 months ago
2012 Springer 
Abstract. Iterated hairpin completion is an operation on formal languages that is inspired by the hairpin formation in DNA biochemistry. Iterated hairpin completion of a word (or m...
147
click to vote
SOFSEM
13 years 10 months ago
2012 Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
145
click to vote
SOFSEM
13 years 10 months ago
2012 Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
|
Theoretical Computer Science