5228 search results - page 836 / 1046 » Case Studies for Software Engineers |
133
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
173
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
148
click to vote
FSTTCS
2007
Springer
16 years 23 days 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...
128
click to vote
FSTTCS
2007
Springer
16 years 23 days 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...
178
click to vote
SERA
2007
Springer
16 years 22 days ago
2007
Springer
To better understand insurgent activities and asymmetric warfare, a social adaptive model for modeling multiple insurgent groups attacking multiple military and civilian targets i...