Sciweavers

3192 search results - page 374 / 639
» A Requirements-Driven Development Methodology
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
ECTEL
2006
Springer
15 years 10 months ago
Tracking User Participation in a Large Scale Team Collaboration Environment
All students of the Hellenic Open University (HOU) attend undergraduate and postgraduate courses at a distance. The lack of a live academic community is reported by many as a drawb...
Dionysis Karaiskakis, Dimitrios Kalles, Thanasis H...
EDCC
2006
Springer
15 years 10 months ago
Dynamic Derivation of Application-Specific Error Detectors and their Implementation in Hardware
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
Karthik Pattabiraman, Giacinto Paolo Saggese, Dani...
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
15 years 10 months ago
A genetic model based on simulated crossover of quaternary genes for quadratic fitness
We present a genetic model based on simulated recombination of fixed sequences of quaternary genes (assuming four distinct forms, or alleles). States and dynamics of the infinite ...
Marco Carpentieri, Vito Fedullo
176
Voted
GECCO
2006
Springer
143views Optimization» more  GECCO 2006»
15 years 10 months ago
Hybrid search for cardinality constrained portfolio optimization
In this paper, we describe how a genetic algorithm approach added to a simulated annealing (SA) process offers a better alternative to find the mean variance frontier in the portf...
Miguel A. Gomez, Carmen X. Flores, Maria A. Osorio