Search Sciweavers | Sciweavers

31387 search results - page 292 / 6278

» Abstracting abstract machines

232

click to vote

DSML
2008

160views Formal Methods» more DSML 2008»

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Daniel A. Sadilek, Stephan Weißleder

claim paper

Read More »

144

click to vote

SE
2010

133views Software Engineering» more SE 2010»

A System for Seamless Abstraction Layers for Model-based Development of Embedded Software

15 years 8 months ago

Download www4.in.tum.de

Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, ...

claim paper

Read More »

122

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 8 months ago

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

click to vote

HCI
2007

142views Human Computer Interaction» more HCI 2007»

DEVAL - A Device Abstraction Layer for VR/AR

15 years 8 months ago

Download www.lisweb.de

Jan Ohlenburg, Wolfgang Broll, Irma Lindt

claim paper

Read More »

144

click to vote

ICONIP
2008

89views Information Technology» more ICONIP 2008»

Developmental Stereo: Topographic Iconic-Abstract Map from Top-Down Connection

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers