5832 search results - page 867 / 1167 » Software complexity and maintainability |
184
click to vote
FSTTCS
2004
Springer
16 years 3 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...
188
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
177
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
157
click to vote
ICESS
2004
Springer
16 years 3 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
223
click to vote
IEAAIE
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...