Search Sciweavers | Sciweavers

9931 search results - page 114 / 1987

» Generative Modeling by PRISM

165

click to vote

DEPCOS
2006
IEEE

93views Hardware» more DEPCOS 2006»

Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers

16 years 11 days ago

Download home.mit.bme.hu

Zoltán Micskei, István Majzik

claim paper

Read More »

160

click to vote

EDOC
2006
IEEE

87views Distributed And Parallel Com...» more EDOC 2006»

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

16 years 11 days ago

Download www.irisa.fr

Sébastien Saudrais, Olivier Barais, Laurenc...

claim paper

Read More »

124

click to vote

ICEIS
2006
IEEE

89views Information Technology» more ICEIS 2006»

A Generator Framework for Domain-Specific Model Transformation Languages

16 years 10 days ago

Download www.schwinger.at

Thomas Reiter, Elisabeth Kapsammer, Werner Retschi...

claim paper

Read More »

134

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

Automatic code generation for distributed memory architectures in the polytope model

16 years 10 days ago

Download www.infosun.fim.uni-passau.de

Michael Classen, Martin Griebl

claim paper

Read More »

152

click to vote

AFRIGRAPH
2006
ACM

86views Virtual Reality» more AFRIGRAPH 2006»

Procedural modeling facilities for hierarchical object generation

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers