16725 search results - page 2802 / 3345 » Engineering Software Correctness |
178
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
190
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
The Genome Halving Problem is motivated by the whole genome duplication events in molecular evolution that double the gene content of a genome and result in a perfect duplicated ge...
183
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
165
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
166
click to vote
FSTTCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...