5832 search results - page 867 / 1167 » Software complexity and maintainability |
196
click to vote
FSTTCS
2004
Springer
16 years 20 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...
217
click to vote
FSTTCS
2004
Springer
16 years 20 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...
204
click to vote
FSTTCS
2004
Springer
16 years 20 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...
178
click to vote
ICESS
2004
Springer
16 years 20 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...
243
click to vote
IEAAIE
2004
Springer
16 years 19 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...