Sciweavers

1002 search results - page 106 / 201
» Test-Driven Development of Model Transformations
Sort
View
ICFEM
2007
Springer
14 years 4 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
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
14 years 2 days ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
ICASSP
2011
IEEE
13 years 1 months ago
Denoising sparse noise via online dictionary learning
The idea of learning overcomplete dictionaries based on the paradigm of compressive sensing has found numerous applications, among which image denoising is considered one of the m...
Anoop Cherian, Suvrit Sra, Nikolaos Papanikolopoul...
WSC
2000
13 years 11 months ago
Simulation of an evolutionary tuned fuzzy dispatching system for automated guided vehicles
This paper presents the development and simulation of a novel Genetic Algorithm (GA) based methodology applied to optimal tuning of a fuzzy dispatching system for a fleet of autom...
Kok Kiong Tan, K. Z. Tang
ICSE
2008
IEEE-ACM
14 years 10 months ago
An integrated aspect-oriented model-driven software product line tool suite
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
Christa Schwanninger, Iris Groher, Markus Völ...