Sciweavers

4636 search results - page 590 / 928
» Modelling and Validation with VipTool
Sort
View
APCCM
2008
15 years 8 months ago
A Practical Guide to Testing the Understandability of Notations
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
Susanne Patig
MODELLIERUNG
2010
15 years 8 months ago
A Change Metamodel for the Evolution of MOF-Based Metamodels
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
Erik Burger, Boris Gruschko
IJCAI
2007
15 years 8 months ago
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination
This paper develops a statistical inference approach, Bayesian Tensor Inference, for style transformation between photo images and sketch images of human faces. Motivated by the r...
Wei Liu, Xiaoou Tang, Jianzhuang Liu
IJCAI
2007
15 years 8 months ago
A General Framework for Scheduling in a Stochastic Environment
There are many systems and techniques that address stochastic scheduling problems, based on distinct and sometimes opposite approaches, especially in terms of how scheduling and s...
Julien Bidot, Thierry Vidal, Philippe Laborie, J. ...
SIMUTOOLS
2008
15 years 8 months ago
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
Hermann S. Lichte, Stefan Valentin