Search Sciweavers | Sciweavers

12981 search results - page 275 / 2597

» Model Checking and Abstraction

137

click to vote

MDAFA
2004
Springer

103views Hardware» more MDAFA 2004»

Platform-Independent Modelling in MDA: Supporting Abstract Platforms

16 years 1 days ago

Download wwwhome.cs.utwente.nl

João Paulo A. Almeida, Remco M. Dijkman, Ma...

claim paper

Read More »

126

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

15 years 12 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

115

click to vote

CAISE
2003
Springer

100views Information Technology» more CAISE 2003»

Reusing Models of Different Abstraction Levels

15 years 12 months ago

Download sunsite.informatik.rwth-aachen.de

Pnina Soffer

claim paper

Read More »

148

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

15 years 11 months ago

Download www.cs.york.ac.uk

George Logothetis, Klaus Schneider

claim paper

Read More »

141

click to vote

DSVIS
2001
Springer

121views Human Computer Interaction» more DSVIS 2001»

Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers