Search Sciweavers | Sciweavers

21430 search results - page 40 / 4286

» Abstract Effective Models

130

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

16 years 1 days ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

136

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

16 years 1 days ago

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »

130

click to vote

TMRA
2007
Springer

130views Software Engineering» more TMRA 2007»

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

16 years 1 days ago

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

109

Voted

DSD
2006
IEEE

115views Hardware» more DSD 2006»

Abstract Application Modeling for System Design Space Exploration

15 years 12 months ago

Download www.tsi.enst.fr

Muhammad Waseem, Ludovic Apvrille, Rabéa Am...

claim paper

Read More »

147

click to vote

EDOC
2006
IEEE

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

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers