Sciweavers

4902 search results - page 653 / 981
» Multi-agent Systems Methodology
Sort
View
SC
2005
ACM
16 years 11 days ago
Scalable Parallel Octree Meshing for TeraScale Applications
We present a new methodology for generating and adapting octree meshes for terascale applications. Our approach combines existing methods, such as parallel octree decomposition and...
Tiankai Tu, David R. O'Hallaron, Omar Ghattas
BIRTHDAY
2005
Springer
16 years 11 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
DSVIS
2005
Springer
16 years 11 days ago
Goal-Oriented Design of Domain Control Panels
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
Christophe Ponsard, Nadiya Balych, Philippe Masson...
EMO
2005
Springer
123views Optimization» more  EMO 2005»
16 years 10 days ago
Initial Population Construction for Convergence Improvement of MOEAs
Nearly all Multi-Objective Evolutionary Algorithms (MOEA) rely on random generation of initial population. In large and complex search spaces, this random method often leads to an ...
Christian Haubelt, Jürgen Gamenik, Jürge...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 10 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...