5668 search results - page 906 / 1134 » The case for software evolution |
158
click to vote
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
134
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
169
Voted
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
143
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
107
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...