15779 search results - page 2669 / 3156 » Change-oriented software engineering |
137
click to vote
FSTTCS
2004
Springer
15 years 9 months 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...
106
click to vote
FSTTCS
2004
Springer
15 years 9 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...
120
click to vote
FSTTCS
2004
Springer
15 years 9 months 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...
112
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
146
click to vote
ICCBSS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...