3901 search results - page 382 / 781 » software 2008 |
165
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
152
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
162
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
168
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the design of single commodity stochastic distribution networks. The distribution network under consideration consists of a single supplier serving a set of re...
167
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...