152
click to vote
SOFSEM
13 years 11 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 ...
139
click to vote
SOFSEM
13 years 11 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...
138
click to vote
SOFSEM
13 years 11 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...
167
click to vote
SOFSEM
13 years 11 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...
153
click to vote
SOFSEM
13 years 11 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