Sciweavers

896 search results - page 98 / 180
» Stepwise Refinement of Processes
Sort
View
79
Voted
IVA
2007
Springer
15 years 8 months ago
The Behavior Markup Language: Recent Developments and Challenges
Since the beginning of the SAIBA effort to unify key interfaces in the multi-modal behavior generation process, the Behavior Markup Language (BML) has both gained ground as an impo...
Hannes Högni Vilhjálmsson, Nathan Cant...
91
Voted
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
15 years 8 months ago
An effective technique for minimizing the cost of processor software-based diagnosis in SoCs
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
141
Voted
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 8 months ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
147
Voted
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
15 years 8 months ago
A Fast Downsizing Video Transcoder for H.264/AVC with Rate-Distortion Optimal Mode Decision
This paper focuses on the mode decision and motion selection problem when H.264/AVC video streams are transcoded in spatial resolution. A fast downsizing transcoding scheme is dev...
Huifeng Shen, Xiaoyan Sun, Feng Wu, Houqiang Li, S...
122
Voted
ISSRE
2006
IEEE
15 years 8 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...