Sciweavers

2328 search results - page 228 / 466
» Component Frameworks - A Case Study
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
AEI
2000
63views more  AEI 2000»
15 years 6 months ago
Application of a support system to the design of wastewater treatment plants
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
Ignasi Rodríguez-Roda, Manel Poch, Ren&eacu...
LATA
2009
Springer
16 years 1 months ago
Prediction of Creole Emergence in Spatial Language Dynamics
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
IJCNN
2008
IEEE
16 years 29 days ago
Ranking and selecting clustering algorithms using a meta-learning approach
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
Marcílio Carlos Pereira de Souto, Ricardo B...
RTCSA
2008
IEEE
16 years 28 days ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...