Sciweavers

32607 search results - page 167 / 6522
» Supporting
Sort
View
ICCS
2007
Springer
15 years 10 months ago
Active Learning with Support Vector Machines for Tornado Prediction
In this paper, active learning with support vector machines (SVMs) is applied to the problem of tornado prediction. This method is used to predict which storm-scale circulations yi...
Theodore B. Trafalis, Indra Adrianto, Michael B. R...
ICFEM
2007
Springer
15 years 10 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
185
Voted
MABS
2007
Springer
15 years 10 months ago
Middleware Support for Performance Improvement of MABS Applications in the Grid Environment
The Grid can be the right environment for large-scale Multi-agent based simulation (MABS) applications. However, due to the nature of the Grid and the characteristics of MABS, achi...
Dawit Mengistu, Paul Davidsson, Lars Lundberg
126
Voted
OOPSLA
2007
Springer
15 years 10 months ago
Supporting systems QoS design and evolution through model transformations
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
Amogh Kavimandan, Aniruddha S. Gokhale
OOPSLA
2007
Springer
15 years 10 months ago
CASE-FX: feature modeling support in an OO Case tool
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
Alain Forget, Dave Arnold, Sonia Chiasson