15778 search results - page 2781 / 3156 » Aikido and software engineering |
191
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Given a set S of line segments in the plane, we introduce a new family of partitions of the convex hull of S called segment triangulations of S. The set of faces of such a triangul...
159
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
150
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We study the question of the existence of non-mitotic sets in NP. We show under various hypotheses that • 1-tt-mitoticity and m-mitoticity differ on NP. • 1-tt-reducibility a...
133
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
181
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...