1648 search results - page 131 / 330 » Where to Build a Door |
SSR
2001
13 years 11 months ago
2001
This paper presents experience with explicitly managing variability within a software architecture. Software architects normally plan for change and put mechanisms in the architec...
USITS
2003
13 years 11 months ago
2003
: Scalable overlay networks such as Chord, Pastry, and Tapestry have recently emerged as a flexible infrastructure for building large peer-to-peer systems. In practice, two disadv...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
Recently, a number of works have been done on how to use Genetic Algorithms to solve the Portfolio Optimization problem, which is an instance of the Resource Allocation problem cl...
CCE
2008
13 years 10 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...