Sciweavers

9412 search results - page 1493 / 1883
» An aspect-oriented generative approach
Sort
View
GECCO
2004
Springer
131views Optimization» more  GECCO 2004»
16 years 6 days ago
PolyEDA: Combining Estimation of Distribution Algorithms and Linear Inequality Constraints
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...
Jörn Grahl, Franz Rothlauf
GI
2004
Springer
16 years 6 days ago
Dynamical Vertical Integration of Distributed Java Components Using an Architecture Model
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
Alexander Prack, Ulf Schreier
GI
2004
Springer
16 years 6 days ago
Realtime Ray Tracing for Current and Future Games
: Recently, realtime ray tracing has been developed to the point where it is becoming a possible alternative to the current rasterization approach for interactive 3D graphics. With...
Jörg Schmittler, Daniel Pohl, Tim Dahmen, Chr...
HYBRID
2004
Springer
16 years 6 days ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 6 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
« Prev « First page 1493 / 1883 Last » Next »