7434 search results - page 185 / 1487 » Still |
131
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
111
click to vote
XPU
2009
Springer
15 years 11 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
157
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
148
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Meta models are the core of enterprise architecture, but still few methods are available for the creation of meta models tailored for specific purposes. This paper presents two app...
156
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The estimation of parametric global motion has had a significant attention during the last two decades, but despite the great efforts invested, there are still open issu...