173
click to vote
SOFSEM
14 years 1 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 ...
169
click to vote
SOFSEM
14 years 1 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...
166
click to vote
SOFSEM
14 years 1 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...
192
click to vote
SOFSEM
14 years 1 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...
178
click to vote
SOFSEM
14 years 1 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