15783 search results - page 3101 / 3157 » Evidence-Based Software Engineering |
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
In the b-degree constrained Euclidean minimum spanning tree problem (bMST) we are given n points in [0;1]d and a degree constraint b 2. The aim is to nd a minimum weight spannin...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This paper introduces a procedure for using genetic multiobjective optimization in yacht design. The problem described consists on the optimization of a bulb shape to improve the ...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...