15779 search results - page 2668 / 3156 » Change-oriented software engineering |
140
click to vote
FSTTCS
2004
Springer
15 years 9 months 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...
129
click to vote
FSTTCS
2004
Springer
15 years 9 months 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...
122
click to vote
FSTTCS
2004
Springer
15 years 9 months 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 ...
129
click to vote
FSTTCS
2004
Springer
15 years 9 months 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...
140
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...